Alternatives and similar repositories for z-eves

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

• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆64Updated this week
• programble / befungee
  Befunge-93 interpreter written in Python with a debugger
  ☆19Updated 8 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 3 months 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.
  ☆57Updated 7 months ago
• iliabylich / my.rb
  Ruby VM in pure Ruby
  ☆28Updated 5 years ago
• zverok / ruby_as_apl
  Conway's game of life in one statement of idiomatic Ruby... ported from APL
  ☆35Updated 5 years ago
• JonnyWalker / PySNES
  ☆10Updated 5 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated last week
• vscosta / yap-6.3
  YAP Development release
  ☆16Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• oggy / cast
  C parser and code generator for ruby
  ☆53Updated 8 months ago
• ganeshutah / Jove
  ☆75Updated 9 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆53Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• marcelosousa / descartes
  descartes: the cartesian hoare logic prover
  ☆12Updated 8 years ago
• f4814 / Tetris
  A (incomplete) terminal Tetris. Written in Haskell.
  ☆26Updated 7 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated 2 weeks ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆138Updated last week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 7 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆79Updated 2 years ago