joewhaley / bddbddb
☆10Updated 8 years ago
Alternatives and similar repositories for bddbddb:
Users that are interested in bddbddb are comparing it to the libraries listed below
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A book about datalog☆12Updated 2 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- MLpolyR☆7Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Dependent hash maps☆14Updated 7 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆12Updated 4 years ago
- Generic unification-based type inference library☆25Updated 9 years ago
- Datalog + Egg = Good☆65Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 7 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆31Updated this week
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- ☆35Updated 6 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- The Cubicle model checker☆13Updated 10 months ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated last month
- A static analysis tool for C.☆26Updated 5 years ago