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
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆156Updated 2 years ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 9 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆138Updated this week
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆85Updated 3 weeks ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆203Updated 6 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆246Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆458Updated this week
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆128Updated 3 months ago
• VictorTaelin / absal-ex
  Absal ex
  ☆56Updated last year
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 2 weeks ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago