Loading contributions...
Top Repositories
SAT solver written in Rust
Lower Size Bounds for Sorting Networks
A fork of the Kissat SAT solver with additional features. Supports incremental solving.
Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
A fast, deterministic, non-cryptographic hash for use in hash tables for Rust
Type checked partial references for rust
Repositories
83SAT solver written in Rust
Type checked partial references for rust
NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack
Python wrapper for the CaDiCaL SAT solver
No description provided.
A fork of the Kissat SAT solver with additional features. Supports incremental solving.
Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format
Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
Lower Size Bounds for Sorting Networks
A fast, deterministic, non-cryptographic hash for use in hash tables for Rust
pytest plugin for distributed testing and loop-on-failures testing modes.
distributed Python deployment and communication
You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
Lower Size Bounds for Sorting Networks using Generate and Prune
No description provided.
Sphinx extension that automatically document argparse commands and options
No description provided.
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
A Nintendo GameCube binary loader for Ghidra
No description provided.
CaDiCaL SAT Solver
No description provided.
Rust library for a forward scan over a vector with mutation and item removal
No description provided.
Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.
RISC-V Formal Verification Framework
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Naive Educational RISC V processor
No description provided.
No description provided.