Alternatives and similar repositories for Ocelot

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

• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 6 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆101Updated 2 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆94Updated 4 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last week
• namin / lms-verify
  generative programming & verification
  ☆34Updated 7 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆17Updated 4 months ago
• unison-code / unison
  Unison's source code
  ☆110Updated last year
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆27Updated 4 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆67Updated 6 months ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆24Updated 9 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 4 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated 3 weeks ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 15 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 7 months ago