Alternatives and similar repositories for SnipPy

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

• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated this week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated last month
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 7 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
  ☆232Updated 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆80Updated last week
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆75Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 3 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆140Updated this week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆109Updated last month
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 3 weeks ago
• imdea-software / htt
  Hoare Type Theory
  ☆80Updated 4 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆74Updated 2 weeks ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated 4 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆107Updated this week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago