Alternatives and similar repositories for cozy:

Users that are interested in cozy are comparing it to the libraries listed below

• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆392Updated 2 years ago
• unison-code / unison
  Unison's source code
  ☆106Updated 11 months ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 8 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 5 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆597Updated 9 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 5 months ago
• au-ts / cogent
  Cogent Project
  ☆161Updated 2 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆164Updated last month
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆200Updated 3 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated last week
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago