Alternatives and similar repositories for Ocelot

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

• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 weeks ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 6 months ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 4 months ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 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
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆99Updated 2 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 5 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 3 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 6 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆156Updated 7 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 8 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last month
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago