Projects in Awesome Lists by weaversa
A curated list of projects in awesome lists by weaversa .
https://github.com/weaversa/cryptol-course
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
Last synced: 09 Apr 2025
https://github.com/weaversa/mphf
An efficient minimal perfect hash function generator for small sets
efficient hash-functions minimal-perfect-hash mphf sat satisfiability
Last synced: 09 Apr 2025
https://github.com/weaversa/c_symsim
C-based shallow embedding of Ghidra's P-code symbolic execution
Last synced: 09 Apr 2025
https://github.com/weaversa/cryptol-rust-client
A Rust client for Cryptol's remote-api
Last synced: 09 Apr 2025
https://github.com/weaversa/satisfiability-museum
The Satisfiability Museum
Last synced: 15 May 2025
https://github.com/weaversa/weighted-bipartite-perfect-matching
C re-implementation of James Payor's C++ solver for weighted bipartite graph matching
Last synced: 15 May 2025
https://github.com/weaversa/mphf-wbpm
A minimal perfect hash function generator that uses weighted bipartite perfect matching and XORSAT dictionaries.
Last synced: 15 May 2025
https://github.com/weaversa/cryptol-c-client
A client for Cryptol as a service
Last synced: 15 May 2025
https://github.com/weaversa/saw-llvm-template
A template for SAW verification of LLVM
Last synced: 15 May 2025
https://github.com/weaversa/baltimoreyouthworks
A youth <-> worksite matching program for MOED (https://youthworks.oedworks.com)
Last synced: 15 May 2025
https://github.com/weaversa/cryptol-java-client
Java client for remote-cryptol-api
Last synced: 15 May 2025
https://github.com/weaversa/cryptol-ffi-tests
Some tests using Cryptol's FFI interface
Last synced: 15 May 2025