Popular repositories Loading

1. cryptoline cryptoline Public

   OCaml 49 8

2. AutoQ AutoQ Public

   OpenQASM 17 5

3. Pregel Pregel Public

   Scala 12 6

4. llvm2cryptoline llvm2cryptoline Public

   A tool translating LLVM IR to CryptoLine

   C++ 9 2

5. gcc2cryptoline gcc2cryptoline Public

   A tool translating GIMPLE to Cryptoline

   C 7 1

6. coq-qfbv coq-qfbv Public

   Coq 6 3