chrisdone-archive / z

Related projects ⓘ

Alternatives and complementary repositories for z

• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆157Updated 2 years ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆89Updated last year
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated last year
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆243Updated 3 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆76Updated 9 months ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆65Updated last year
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• stchang / macrotypes
  ☆135Updated 2 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated last month
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆447Updated 3 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• PlasmaLang / plasma
  Plasma Programming Language
  ☆162Updated 2 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆254Updated 2 months ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆84Updated this week
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• axellang / axel
  Haskell + Lisp
  ☆206Updated 6 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• akkartik / wart
  An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.
  ☆142Updated 4 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 3 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆72Updated 4 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆204Updated 5 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆162Updated 6 years ago