uwplse / synapseLinks
Optimizing Synthesis with Metasketches, POPL 2016
☆23Updated 8 years ago
Alternatives and similar repositories for synapse
Users that are interested in synapse are comparing it to the libraries listed below
Sorting:
- T2 Temporal Prover☆95Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆71Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Symbolic formula representation and solver interaction library☆169Updated this week
- ☆83Updated 11 months ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Cogent Project☆169Updated 6 months ago
- ☆89Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Unison's source code☆108Updated last year
- microsat☆138Updated 3 years ago
- Lem semantic definition language☆146Updated 6 months ago
- SRI LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- ☆153Updated last month
- Datalog with support for SMT queries and first-order functional programming☆163Updated last week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆123Updated 3 years ago
- Python term rewriting☆30Updated 12 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 3 months ago
- Coq library for verified low-level programming