Popular repositoriesLoading

1. cryptol-coursecryptol-coursePublic

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

   Python 26 15

2. MPHFMPHFPublic

   An efficient minimal perfect hash function generator for small sets

   C 11 2

3. c_symsimc_symsimPublic

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

   C 7

4. cryptol-rust-clientcryptol-rust-clientPublic

   A Rust client for Cryptol's remote-api

   Rust 3

5. Satisfiability-MuseumSatisfiability-MuseumPublic

   The Satisfiability Museum

   C 2

6. c_list_typesc_list_typesPublic

   C 2