An educational SAT solver written in Rust
☆13Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for satire
Users that are interested in satire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- USB Gadget Configfs Library☆10Feb 2, 2016Updated 10 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 6 months ago
- Cast Sender for React (Chromecast CAF)☆15Jul 30, 2020Updated 6 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 3 years ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆114Aug 22, 2026Updated last week
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆13Dec 14, 2021Updated 4 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 6 years ago
- ☆12Mar 10, 2020Updated 6 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- Learning how to use IOSurfaceAccelerator☆29Apr 9, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- avoid unwrap() method☆21Aug 2, 2026Updated 3 weeks ago
- CTF challenges that I created☆19Dec 26, 2021Updated 4 years ago
- some research results of sep☆20Apr 9, 2021Updated 5 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Aug 16, 2018Updated 8 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated 2 years ago
- Rust crate for numpy NPY files☆33May 3, 2026Updated 3 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PoC for CVE-2021-1056, related to GPU Container Security☆16Jan 12, 2021Updated 5 years ago
- The transaction abstraction library and its executors for rust☆18Jun 26, 2017Updated 9 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- ☆15Sep 14, 2020Updated 5 years ago
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- Fuzzing SILK with AFL☆25May 29, 2020Updated 6 years ago
- Investigating the bug behind CVE-2021-26708☆28Feb 16, 2021Updated 5 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- POSTECH: Heterogeneous Parallel Computing (Fall 2023)☆19Dec 9, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- ☆30Apr 7, 2023Updated 3 years ago
- ☆22Jan 23, 2025Updated last year
- 💘 Write any Python with 9 Characters: e,x,c,h,r,(,+,1,)☆20Jun 20, 2022Updated 4 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 9 months ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2☆11Dec 15, 2018Updated 7 years ago