A simple (unfinished) SMT solver for QF_ABV.
☆36Mar 14, 2019Updated 6 years ago
Alternatives and similar repositories for stevia
Users that are interested in stevia are comparing it to the libraries listed below
Sorting:
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- Rust type metadata reflection library☆26Mar 18, 2020Updated 5 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- ☆11Aug 23, 2018Updated 7 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- Asynchronous name resolution utilities for the futures and tokio-core crates.☆19Nov 10, 2019Updated 6 years ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Mar 22, 2015Updated 10 years ago
- converts catgirls to gds files☆15May 24, 2021Updated 4 years ago
- Management of Benchmark Instances and Instance Attributes☆21Feb 9, 2026Updated 3 weeks ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆22Updated this week
- Downloads every Skyrim mod plugin from nexusmods.com and saves CELL edits of each to a database☆20Sep 4, 2025Updated 6 months ago
- A workshop for comparing buddy allocator algorithms☆16May 4, 2018Updated 7 years ago
- Testbed repo for trying out ideas of what a smart contract API in Rust would look like☆42Dec 21, 2018Updated 7 years ago
- Logic programming, for Rust, from inside Rust.☆44Mar 6, 2020Updated 5 years ago
- A simple neural net implementation.☆41Jul 31, 2019Updated 6 years ago
- 🗺️ A Rust crate for parsing projects and levels created with Ogmo Editor 3☆19Aug 2, 2021Updated 4 years ago
- ☆20Jul 18, 2020Updated 5 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Mar 11, 2021Updated 4 years ago
- Prototype debugger for lilos☆27Mar 5, 2025Updated 11 months ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- Increased precision floating point numbers implemented purely in Rust.☆21Apr 21, 2025Updated 10 months ago
- rust const soft float point library☆27May 29, 2024Updated last year
- Fegeya Elitebuild, small, powerful build system. Written in Rust.☆28Aug 1, 2024Updated last year
- Gallery of 4K Executable Graphics artworks from the Demoscene.☆28Aug 19, 2025Updated 6 months ago
- A Rust macro that parses Java-like syntax and runs it as a Rust program☆29Aug 11, 2018Updated 7 years ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 4 years ago
- Easy and safe destructuring for more types.☆33Nov 14, 2025Updated 3 months ago
- An attempt to graft a Rust backend onto a React powered native app☆27Apr 28, 2015Updated 10 years ago
- Rust bindings for the Z3 solver.☆485Updated this week
- Access File System operations off-thread, using a Futures.☆69Feb 26, 2019Updated 7 years ago
- ☆34Sep 7, 2021Updated 4 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- Low-level access to Xtensa LX processors☆30Jul 17, 2024Updated last year
- program analysis for machine code☆37Oct 26, 2021Updated 4 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated 10 months ago
- A crate to make drawing in a buffer of pixels easy!☆32Apr 13, 2025Updated 10 months ago
- A Chrome Extension that detects Phishing Websites and alerts the user regarding the same.☆11Jun 23, 2019Updated 6 years ago