Alternatives and similar repositories for z-eves

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

• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆26Updated 9 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 11 months ago
• mame / _
  _ allows you to write Ruby script by using only _.
  ☆157Updated 3 years ago
• nmattia / rulex
  A ruby environment for Latex files
  ☆19Updated 9 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• ku-progsys / rbsyn
  Program synthesis for Ruby
  ☆95Updated this week
• DataKinds / charm
  A [ functional stack ] based language.
  ☆29Updated last year
• chrisseaton / ruby-stm-lee-demo
  A demonstration of STM in Ruby using the Lee benchmark
  ☆13Updated 4 years ago
• gurbaaz27 / typeless
  an interpreter for λ-calculus implemented in ruby
  ☆17Updated last year
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• neilconway / superators
  Superators add new operators to Ruby
  ☆32Updated 13 years ago
• thoughtbot-upcase-exercises / tdd-spec-cleanup-exercise
  ☆8Updated 2 years ago
• mroman42 / mikrokosmos
  (λ) Educational lambda calculus interpreter
  ☆72Updated 4 years ago
• ptliu / tandoph
  A compiler synthesizer for simple languages.
  ☆15Updated 6 years ago
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 3 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆45Updated this week
• preston / ruby-prolog
  A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.
  ☆206Updated 3 months ago
• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆34Updated 2 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years 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
• dryruby / sxp.rb
  A universal S-expression parser for Ruby.
  ☆52Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆15Updated 5 years ago
• DragonRuby / lightstorm
  Minimalistic ahead-of-time Ruby compiler
  ☆128Updated 5 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year