Alternatives and similar repositories for z:

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

• stchang / macrotypes
  ☆137Updated 2 years ago
• 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
• sparist / Om
  The Om programming language.
  ☆172Updated 6 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆156Updated 2 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆211Updated 2 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 11 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆246Updated 4 years ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆86Updated 2 months ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 4 months ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆78Updated 4 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆463Updated this week
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated this week
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆258Updated 7 months ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆76Updated 5 years ago