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 5 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
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆101Updated last month
• uqbar-project / wollok
  Wollok Programming Language
  ☆60Updated 3 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated last month
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆50Updated 10 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆14Updated 4 years ago
• smalljvm / SmallJ
  Smalltalk VM built on top of Java
  ☆22Updated 8 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆43Updated last year
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 6 years ago
• platanus / la-guia
  Guia para todos los acuerdos y reglas en platanus
  ☆33Updated last year
• codereport / racket-algorithms
  A package containing many useful algorithms (borrowed from many other programming languages).
  ☆13Updated last month
• haskell-actions / setup
  Setting up GHC, cabal, stack on for Haskell-related CIs
  ☆56Updated 3 weeks ago
• taw / 100-languages-speedrun
  Code for "100 Languages Speedrun" blog post series
  ☆20Updated 2 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 7 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆67Updated this week
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆45Updated last year
• FabianVegaA / sigmaF
  The project SigmaF is a programming language of functional paradigm and open-source.
  ☆21Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• yellowme / interview
  Project used for Yellowme interviews
  ☆8Updated 4 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• zhiayang / lambda
  lambda calculus interpreter
  ☆39Updated 3 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• eprover / eprover
  ☆137Updated this week
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 8 months ago
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated this week
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆15Updated 10 months ago