joewhaley / bddbddb
☆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:
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- Datalog + Egg = Good☆66Updated last year
- Slog 1.0☆42Updated 11 months ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- ☆19Updated 8 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆40Updated last week
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Dafny for Metatheory of Programming Languages☆25Updated 2 weeks ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 2 months ago
- LVC verified compiler☆57Updated 6 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Program logic for developing and verifying distributed systems☆34Updated this week
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 3 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated last month
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- SIGPLAN website☆11Updated last week
- A book about datalog☆12Updated 2 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- Superposition prover☆17Updated 2 years ago
- purple: compiling a reflective language☆32Updated 6 months ago