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 5 months ago
- Cast Sender for React (Chromecast CAF)☆15Jul 30, 2020Updated 5 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 7 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☆111Updated this 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
- POSTECH: Heterogeneous Parallel Computing (Fall 2023)☆19Dec 9, 2023Updated 2 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Learning how to use IOSurfaceAccelerator☆29Apr 9, 2023Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 4 years ago
- Structured BVA☆44Apr 26, 2024Updated 2 years ago
- avoid unwrap() method☆21Jun 24, 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 7 years ago
- Rust crate for numpy NPY files☆33May 3, 2026Updated 2 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- 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.
- 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 last year
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- ☆29Apr 7, 2023Updated 3 years ago
- ☆22Jan 23, 2025Updated last year
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 8 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
- 💘 Write any Python with 9 Characters: e,x,c,h,r,(,+,1,)☆20Jun 20, 2022Updated 4 years ago