Pinned Loading

1. glguy/ssh-hans glguy/ssh-hans Public

   Haskell 12 7

2. xflux-gui/fluxgui xflux-gui/fluxgui Public

   Better lighting for Linux. Open source GUI for xflux

   Python 2.9k 175

3. haskell-call-trace haskell-call-trace Public

   Fancy call tracing for Haskell.

   Haskell 7

4. micro-policies/verified-ifc micro-policies/verified-ifc Public

   Coq formalization accompanying the paper: A Verified Information-Flow Architecture

   Coq 4 1

5. aws/s2n-tls aws/s2n-tls Public

   An implementation of the TLS/SSL protocols

   C 4.7k 747

6. fractals fractals Public

   One of the first programs I ever wrote.

   C++