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:
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Exact Inference Engine for Probabilistic Programs☆133Updated 3 months ago
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆661Updated last week
- surgical precision JIT compilers☆121Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- FSCQ is a certified file system written and proven in Coq☆244Updated 2 years ago
- My personal repository of formally verified mathematics.☆301Updated 3 months ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- A probabilistic programming language☆318Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated this week
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 8 months ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- Cogent Project☆165Updated 3 months ago
- Dyna2 compiler and REPL☆146Updated 5 years ago
- The BLOG programming language☆98Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago