meithecatte / rustc-sat
Makes rustc's exhaustiveness checker solve SAT problems
☆15Updated 3 years ago
Alternatives and similar repositories for rustc-sat:
Users that are interested in rustc-sat are comparing it to the libraries listed below
- Type-Level Programming in Rust☆27Updated 3 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A library for extracting and validating links.☆22Updated 7 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- A deque implemented as a hybrid linked-list-of-arrays☆10Updated 9 years ago
- ☆17Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Updated 2 weeks ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A newtype wrapper that causes Debug impls to skip a field.☆21Updated 2 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆33Updated 3 weeks ago
- experimental auto-currying for rust functions☆32Updated 4 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 4 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆37Updated 7 years ago
- The Pulse separation logic DSL for F*☆14Updated this week
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.☆20Updated 4 months ago
- ☆33Updated 3 years ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 3 years ago