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
  ☆134Updated 2 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated 3 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 weeks ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆146Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated this week
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated last year
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 2 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated 2 weeks ago