Pinned Loading

1. glguy/ssh-hansglguy/ssh-hansPublic

   Haskell 12 7

2. xflux-gui/fluxguixflux-gui/fluxguiPublic

   Better lighting for Linux. Open source GUI for xflux

   Python 2.9k 176

3. haskell-call-tracehaskell-call-tracePublic

   Fancy call tracing for Haskell.

   Haskell 7

4. micro-policies/verified-ifcmicro-policies/verified-ifcPublic

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

   Coq 4 1

5. aws/s2n-tlsaws/s2n-tlsPublic

   An implementation of the TLS/SSL protocols

   C 4.7k 756

6. fractalsfractalsPublic

   One of the first programs I ever wrote.

   C++