Alternatives and similar repositories for TypeLisp

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

• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆136Updated last month
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated 3 weeks ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆49Updated 10 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆102Updated last week
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆299Updated 5 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆246Updated 5 months ago
• loophp / combinator
  A curated list of combinators
  ☆123Updated this week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated 3 weeks ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆416Updated last week
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆339Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆291Updated 2 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆69Updated 3 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated 2 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆304Updated this week
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 3 years ago
• codereport / hoogle-translate
  ☆115Updated last week
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated 2 weeks ago
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 2 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 9 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 5 months ago
• axellang / axel
  Haskell + Lisp
  ☆214Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 9 months ago