Makes rustc's exhaustiveness checker solve SAT problems
☆16Jul 8, 2021Updated 4 years ago
Alternatives and similar repositories for rustc-sat
Users that are interested in rustc-sat are comparing it to the libraries listed below
Sorting:
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆18Feb 10, 2026Updated 2 weeks ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Feb 8, 2026Updated 2 weeks ago
- A Rust library for constructing tilings of regular polygons☆31Jul 2, 2021Updated 4 years ago
- A small Wayland compositor inspired by Plan 9's rio.☆35Feb 13, 2026Updated 2 weeks ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆47Feb 6, 2015Updated 11 years ago
- ☆11Aug 27, 2023Updated 2 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated last year
- Adds a parser to enable composer, to be used with wildcards☆10Feb 21, 2026Updated last week
- An example of a GTK based Twitter client which is just a browser☆10Mar 16, 2020Updated 5 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- docs for sxt-node☆10Jun 4, 2025Updated 8 months ago
- ☆12Jun 18, 2024Updated last year
- 0x88 chess engine written in C++ ♘☆13Jan 21, 2013Updated 13 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 3 months ago
- Bindings to provide authentication and access to Firestore data in React.☆19Apr 14, 2018Updated 7 years ago
- Aggressive MCTS chess engine.☆15Updated this week
- ☆11Nov 20, 2020Updated 5 years ago
- easily write your HTTP handlers in Go with Generics☆11Aug 26, 2025Updated 6 months ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Get message in telegram when on of your websites id down☆11Jan 4, 2023Updated 3 years ago
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- Packing your Ruby application into a single executable.☆10Jul 6, 2021Updated 4 years ago
- ☆13Jul 1, 2019Updated 6 years ago
- Examples of Ruby code in Crystal and benchmarks to compare☆10Apr 16, 2022Updated 3 years ago