Alternatives and similar repositories for TypeLisp:

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

• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆40Updated this week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated last month
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆31Updated 3 months ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 6 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 4 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 2 months ago
• cdupont / Timeloop
  ☆41Updated last year
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 7 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆105Updated 2 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated 5 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆51Updated 2 weeks ago
• matthunz / view-monad
  ☆24Updated 7 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated 2 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆32Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 6 months ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 5 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆100Updated last week
• reubenharry / haskell-docs
  ☆59Updated last year
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month
• transient-haskell / transient-stack
  All the Transient libraries
  ☆39Updated last week
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated 5 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 3 months ago