Pinned Loading

1. bit-marker bit-marker Public

   OCaml

2. Codeforces Codeforces Public

   solutions for problems from Codeforces.com

   C++

3. circuit-transformer circuit-transformer Public

   F#

4. openStockMachines openStockMachines Public

   Python 2

5. Coq_LDDL Coq_LDDL Public

   Coq proofs of circuit transformations for fault-tolerance

   Coq 1