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 5 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆157Updated 2 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 6 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 3 weeks ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 11 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last year
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆211Updated 2 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆91Updated last year
• sparist / Om
  The Om programming language.
  ☆172Updated 7 months ago
• akkartik / wart
  An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.
  ☆145Updated 4 years ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆140Updated 2 months ago
• rain-1 / continuations-study-group
  ☆79Updated 5 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆122Updated 5 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆464Updated last week
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 12 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆78Updated last month
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago