An educational SAT solver written in Rust
☆13Sep 23, 2023Updated 3 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:
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 8 months ago
- USB Gadget Configfs Library☆10Feb 2, 2016Updated 10 years ago
- Cast Sender for React (Chromecast CAF)☆15Jul 30, 2020Updated 6 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Mar 10, 2020Updated 6 years ago
- fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)☆10Sep 15, 2022Updated 4 years ago
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- ☆13Dec 14, 2021Updated 4 years ago
- 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☆116Updated this week
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 10 months 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.
- An implementation for Monad in Rust as a prototype☆17Nov 5, 2022Updated 3 years ago
- some research results of sep☆20Apr 9, 2021Updated 5 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
- avoid unwrap() method☆21Aug 2, 2026Updated 2 months ago
- CTF challenges that I created☆19Dec 26, 2021Updated 4 years ago
- Learning how to use IOSurfaceAccelerator☆29Apr 9, 2023Updated 3 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 6 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Aug 16, 2018Updated 8 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 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.
- PoC for CVE-2021-1056, related to GPU Container Security☆16Jan 12, 2021Updated 5 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- ☆16Sep 14, 2020Updated 6 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 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
- Rust crate for numpy NPY files☆33May 3, 2026Updated 5 months ago
- POSTECH: Heterogeneous Parallel Computing (Fall 2023)☆19Dec 9, 2023Updated 2 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.
- Derive a simple control panel interface for your data using eframe::egui☆10Jun 26, 2023Updated 3 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- A Thesis/Dissertation Template for University of Chinese Academy of Sciences in Typst☆15Sep 29, 2026Updated last month
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 4 years ago
- 💘 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 11 months ago
- Structured BVA☆46Apr 26, 2024Updated 2 years ago