Popular repositories Loading

1. thinkpad-yoga-rotate thinkpad-yoga-rotate Public

   A small utility script to rotate

   Shell 10 47

2. el-get el-get Public

   Forked from dimitri/el-get

   Manage the external elisp bits and pieces upon which you depend!

   Emacs Lisp

3. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

   Main repository of the Tamarin prover for security protocol verification.

   Haskell

4. stack stack Public

   Forked from commercialhaskell/stack

   The Haskell Tool Stack

   Haskell

5. jepsen jepsen Public

   Forked from jepsen-io/jepsen

   Call Me Maybe: simulating network partitions in DBs

   Clojure

6. hoodle hoodle Public

   Forked from wavewave/hoodle

   hoodle : A pen notetaking program written in haskell

   Haskell