CozySynthesizer / cozyLinks
The collection synthesizer
☆211Updated 4 years ago
Alternatives and similar repositories for cozy
Users that are interested in cozy are comparing it to the libraries listed below
Sorting:
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Kodkod solver for relational logic☆77Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 6 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 4 months ago
- An in-memory datalog implementation for OCaml.☆271Updated 9 months ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Dyna2 compiler and REPL☆146Updated 5 years ago
- Python interpreter for TLA+ specifications☆114Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last month
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated last month
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆664Updated last month
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆494Updated 9 months ago
- A probabilistic programming language☆321Updated 3 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- Datalog with support for SMT queries and first-order functional programming☆160Updated 2 weeks ago
- A TLA+ guide☆279Updated 3 years ago
- Cosette is an automated SQL solver.☆677Updated 7 months ago
- Command line binaries for the TLA+ language☆169Updated 2 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆476Updated last week
- Unison's source code☆108Updated last year
- Experiments with array layouts for comparison-based searching☆84Updated last year