Popular repositories Loading

1. cryptol-course cryptol-course Public

   The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

   Python 25 14

2. MPHF MPHF Public

   An efficient minimal perfect hash function generator for small sets

   C 8 2

3. c_symsim c_symsim Public

   C-based shallow embedding of Ghidra's P-code symbolic execution

   C 7

4. cryptol-rust-client cryptol-rust-client Public

   A Rust client for Cryptol's remote-api

   Rust 3

5. Satisfiability-Museum Satisfiability-Museum Public

   The Satisfiability Museum

   C 2

6. c_list_types c_list_types Public

   C 2