CozySynthesizer / cozy
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
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- An in-memory datalog implementation for OCaml.☆267Updated 5 months ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆394Updated 2 years ago
- WASM builds of the Z3 SMT solver☆142Updated 5 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Cogent Project☆162Updated this week
- Python interpreter for TLA+ specifications☆113Updated 9 months ago
- A TLA+ guide☆279Updated 2 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 4 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 4 months ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A small compiler for PCF☆123Updated 4 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆243Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆655Updated 9 months ago
- A probabilistic programming language☆319Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆165Updated 2 months ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Engines, queries, and data for dynamic Datalog computation☆123Updated 3 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆187Updated last year
- Programming language agnostic type construction language based on polynomials.☆367Updated 9 months ago