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
  ☆129Updated 11 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆128Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 4 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆240Updated 3 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆334Updated this week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 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.
  ☆48Updated 9 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆93Updated this week
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆295Updated 3 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆315Updated last year
• loophp / combinator
  A curated list of combinators
  ☆123Updated this week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• HigherOrderCO / kindbook
  ☆54Updated 10 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆407Updated this week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• codereport / hoogle-translate
  ☆113Updated 3 weeks ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆147Updated 2 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆289Updated 2 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 7 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆160Updated 4 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 2 months 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.
  ☆202Updated 9 months ago
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆320Updated 2 months ago
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 8 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆292Updated this week
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 4 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆144Updated 2 weeks ago