Alternatives and similar repositories for z:

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

• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆156Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆257Updated 6 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆223Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆165Updated last month
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 4 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆109Updated 7 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated 3 weeks ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 9 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆85Updated last month
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆246Updated 4 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆333Updated 3 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 4 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆77Updated last month