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
  ☆122Updated 5 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆212Updated 2 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆91Updated last year
• sparist / Om
  The Om programming language.
  ☆173Updated 8 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆190Updated last year
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆118Updated 7 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 2 months ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆471Updated last month
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆159Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆214Updated 9 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆86Updated 4 months ago
• axellang / axel
  Haskell + Lisp
  ☆210Updated last year
• amuletml / amulet
  An ML-like functional programming language
  ☆334Updated 3 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆206Updated 6 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 11 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆282Updated 4 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆146Updated 7 years ago
• vmchale / apple
  Apple array system
  ☆66Updated last week