Alternatives and similar repositories for synapse

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

• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated this week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆43Updated 7 years ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 10 months ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 3 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 11 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated last week
• clf / celf
  ☆60Updated 5 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆95Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last week