Alternatives and similar repositories for z-eves

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

• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆17Updated 4 years ago
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated last month
• mruby / microcontroller-peripheral-interface-guide
  Common I/O API Guidelines for mruby and mruby/c.
  ☆27Updated last month
• vscosta / yap-6.3
  YAP Development release
  ☆14Updated 4 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated last year
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆17Updated 9 months ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated this week
• namin / metaprogramming
  Course on Metaprogramming
  ☆63Updated last week
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 6 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• mame / _
  _ allows you to write Ruby script by using only _.
  ☆157Updated 3 years ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆26Updated last year
• gurbaaz27 / typeless
  an interpreter for λ-calculus implemented in ruby
  ☆17Updated last year
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago
• EmillieT / Pycee
  ☆16Updated 5 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆125Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 3 months ago
• iliabylich / my.rb
  Ruby VM in pure Ruby
  ☆27Updated 5 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last week
• tenderlove / jit_buffer
  General purpose buffer for use with building JITs
  ☆18Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆122Updated 4 months ago
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 5 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 4 months ago
• oggy / cast
  C parser and code generator for ruby
  ☆53Updated 5 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• vscosta / yap
  ☆53Updated last month