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
• oggy / cast
  C parser and code generator for ruby
  ☆53Updated 11 months ago
• iliabylich / my.rb
  Ruby VM in pure Ruby
  ☆28Updated 5 years ago
• mame / _
  _ allows you to write Ruby script by using only _.
  ☆156Updated 4 years ago
• philzook58 / nand2coq
  Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
  ☆58Updated 3 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 5 months ago
• codicoscepticos / ruby-implementations
  List of Ruby implementations.
  ☆113Updated 2 years ago
• EuroProofNet / europroofnet.github.io
  Sources of the EuroProofNet web site.
  ☆13Updated last month
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆152Updated last week
• vgsantoniazzi / tiny-lang
  tiny-lang — A different programming language. Supports a bunch of spoken languages.
  ☆30Updated 5 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆35Updated this week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆76Updated this week
• zverok / ruby_as_apl
  Conway's game of life in one statement of idiomatic Ruby... ported from APL
  ☆35Updated 5 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆52Updated 2 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆17Updated 4 years ago
• JonnyWalker / PySNES
  ☆10Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆20Updated 3 weeks ago
• sylwiavargas / Ruby-CLI-Setup
  🔻A treat for those who'd like to make a ruby CLI but don't know where to start.
  ☆10Updated 4 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 3 weeks ago
• epfl-systemf / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆19Updated this week
• chrisseaton / ruby-stm-lee-demo
  A demonstration of STM in Ruby using the Lee benchmark
  ☆11Updated 5 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• toymachine / park-lang
  Park programming language
  ☆17Updated 4 years ago
• vrjuliao / sml-vscode-extension
  VSCode plugin for Standard ML
  ☆40Updated last year
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year