Popular repositories Loading

1. ProtoQuipper ProtoQuipper Public

   Implementation of the Proto-Quipper language

   Haskell 7 1

2. n64 n64 Public

   C++ 5

3. Verif Verif Public

   Abstract Interpretation Tool

   OCaml 2

4. ps1 ps1 Public

   C++ 1

5. rauth rauth Public

   Forked from litl/rauth

   A Python library for OAuth 1.0/a, 2.0, and Ofly.

   Python

6. mock mock Public

   Simulator for stack machine

   C++