phate / jive
☆14Updated 2 years ago
Related projects: ⓘ
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- ☆49Updated this week
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆11Updated this week
- An automated theorem prover for first order logic.☆28Updated 7 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- Easy SMT solver interaction☆24Updated last month
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- Adapton Lab, written in Rust.☆15Updated 5 years ago
- Liquid Types implementation for Rust☆26Updated last year
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A Rust hashconsing library.☆23Updated 2 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆31Updated 10 months ago
- Datalog + Egg = Good☆65Updated last year
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A macro for defining type operators in Rust.☆62Updated 7 years ago
- Typed λ-calculus in Rust☆28Updated last year
- VS Code extension to verify Rust programs with the Prusti verifier.☆22Updated 2 weeks ago
- Fungi: Typed incremental computation with names☆66Updated 4 years ago
- ☆22Updated 2 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆73Updated this week
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Logic programming, for Rust, from inside Rust.☆39Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆44Updated 3 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago