Alternatives and similar repositories for z

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

• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆160Updated 3 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated 11 months ago
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆249Updated 4 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆91Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 4 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• cdiggins / cat-language
  Cat - a statically typed functional stack-based programming language
  ☆270Updated 7 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆150Updated 2 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 9 months ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 7 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆99Updated 7 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆475Updated 3 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• videolang / video
  Source Code for Video language.
  ☆140Updated 5 years ago
• breuleux / liso
  Operator syntax for the Lisp family of languages (Racket implementation)
  ☆33Updated 11 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆168Updated 13 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year