CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.
☆10May 19, 2022Updated 3 years ago
Alternatives and similar repositories for starlit
Users that are interested in starlit are comparing it to the libraries listed below
Sorting:
- ☆18Dec 5, 2024Updated last year
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 7 years ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Dec 11, 2021Updated 4 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated last week
- This the open source graph drawing package KaDraw (Karlsruhe Graph Drawing).☆11Jan 8, 2024Updated 2 years ago
- ☆10Feb 3, 2026Updated last month
- Is using KoP (Kafka-On-Pulsar) a good idea? Use the scenarios implemented in this repository to check whether Pulsar with KoP enabled is …☆12Nov 3, 2022Updated 3 years ago
- A rust library implementing the protocol specifications for Syncthing clients (Currently in Development)☆13Feb 2, 2021Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆277Feb 12, 2022Updated 4 years ago
- Tools for people who attend key signing parties☆12Jan 27, 2017Updated 9 years ago
- RGB <-> Lab color space conversion☆16Jul 30, 2021Updated 4 years ago
- Some documentation on the SNES PPUs☆15May 29, 2024Updated last year
- PPM compressor with a 128 bytes short decompressor☆10Apr 13, 2022Updated 3 years ago
- C# experimental WebAssembly/WASI VM to be used for adding modding support to games☆12Nov 5, 2019Updated 6 years ago
- An introduction to building and breaking ciphers with Python. Book by AL Sweigart☆11Mar 25, 2019Updated 6 years ago
- Emulator for GameBoy written in Rust.☆10Nov 27, 2019Updated 6 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- ☆11Jul 28, 2025Updated 7 months ago
- ☆13Dec 25, 2024Updated last year
- Groho (গ্রহ) is a simulator for inter-planetary travel☆12Jul 15, 2020Updated 5 years ago
- A MooTools class for handling navigation on long, single-page sites☆25Jan 26, 2011Updated 15 years ago
- Build environment to write Pocketstation applications in Rust☆10Oct 11, 2016Updated 9 years ago
- Mother machine image analysis through napari☆10Feb 17, 2026Updated 2 weeks ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- ☆12Mar 26, 2024Updated last year
- Libraries and tools for extracting Coq code to F#☆14Aug 16, 2013Updated 12 years ago
- Discord bot for twitter/twitcasting/twitch tracking...☆14Nov 8, 2025Updated 3 months ago
- Sample code for locating Particle Photons on your local network for direct client-server communication☆11Aug 4, 2016Updated 9 years ago
- Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…☆13Jan 7, 2023Updated 3 years ago
- Fuse components and experiments☆10Feb 6, 2017Updated 9 years ago
- ☆10May 14, 2020Updated 5 years ago
- ☆13Apr 12, 2023Updated 2 years ago
- 📦 An awesome truffle box with sane defaults for solidity projects.☆10Dec 8, 2022Updated 3 years ago
- Workshops on CFD at the University of Houston☆15Mar 18, 2019Updated 6 years ago
- Experimental applications using the Fuse cross-platform tool☆11Oct 29, 2015Updated 10 years ago
- Reading whitespace-separated values in Rust☆11Nov 29, 2019Updated 6 years ago