joewhaley / bddbddbLinks
☆11Updated 9 years ago
Alternatives and similar repositories for bddbddb
Users that are interested in bddbddb are comparing it to the libraries listed below
Sorting:
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- ☆19Updated 8 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Slog 1.0☆43Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- A book about datalog☆12Updated 2 years ago
- Code for enumeration from a CFG☆18Updated last year
- Regionalized Value State Dependence Graph written in Rust☆10Updated 5 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last month
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 4 months ago
- Haskell binding for PADS☆19Updated 6 years ago
- ☆35Updated last year
- Two-Level Type Theory☆28Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆44Updated 2 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago