Alternatives and similar repositories for z-eves:

Users that are interested in z-eves are comparing it to the libraries listed below

• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 7 months ago
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆17Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆54Updated 7 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆108Updated last month
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated last month
• madvorak / fecssk
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆13Updated last year
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated last week
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 9 months ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆38Updated last week
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated 10 months ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• aubreyrjones / lemon-py
  Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.
  ☆14Updated 3 years ago
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆16Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• prologbyexample / code
  ☆29Updated 2 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• preston / ruby-prolog
  A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.
  ☆203Updated last month
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆25Updated this week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆28Updated 2 months ago
• marcelosousa / descartes
  descartes: the cartesian hoare logic prover
  ☆12Updated 8 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆23Updated last year
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 4 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆33Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆115Updated last week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆42Updated 3 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆316Updated last week
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆41Updated 4 months ago