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
  ☆125Updated 10 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 3 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆89Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆127Updated 3 weeks ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆237Updated 3 months ago
• codereport / hoogle-translate
  ☆109Updated last month
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆47Updated 8 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆324Updated 2 weeks ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆197Updated 9 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• loophp / combinator
  A curated list of combinators
  ☆122Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated last month
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆146Updated 2 years ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 2 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated last month
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆17Updated 2 weeks ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆80Updated last week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 7 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆158Updated 3 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated this week
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆295Updated 2 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆60Updated 9 months ago
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆122Updated 3 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆38Updated 2 weeks ago
• ambulancja / mariposa
  A toy programming language with time travel
  ☆312Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆290Updated 3 weeks ago