Popular repositories Loading

1. cryptoline cryptoline Public

   OCaml 54 10

2. AutoQ AutoQ Public

   OpenQASM 23 6

3. Pregel Pregel Public

   Scala 13 6

4. llvm2cryptoline llvm2cryptoline Public

   A tool translating LLVM IR to CryptoLine

   C++ 9 2

5. coq-qfbv coq-qfbv Public

   Coq 7 3

6. gcc2cryptoline gcc2cryptoline Public

   A tool translating GIMPLE to Cryptoline

   C 6 1