CozySynthesizer / cozyLinks
The collection synthesizer
☆211Updated 5 years ago
Alternatives and similar repositories for cozy
Users that are interested in cozy are comparing it to the libraries listed below
Sorting:
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Updated 8 years ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- Kodkod solver for relational logic☆80Updated 2 years ago
- Jupyter kernel for TLA⁺☆119Updated 3 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 9 months ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆414Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆501Updated last year
- Python interpreter for TLA+ specifications☆116Updated last year
- A TLA+ guide☆277Updated 3 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 5 years ago
- Single-threaded graph computation in Rust☆257Updated 6 years ago
- WASM builds of the Z3 SMT solver☆151Updated 5 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Cogent Project☆174Updated 9 months ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆680Updated last month
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆62Updated 10 years ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆176Updated last month
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 6 months ago
- A framework for formally verifying distributed systems implementations in Coq☆612Updated 6 months ago
- Dyna2 compiler and REPL☆147Updated 5 years ago