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 11 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆135Updated last week
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆100Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆128Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆245Updated 4 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆337Updated this week
• 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
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆290Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆411Updated this week
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆296Updated 4 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆82Updated this week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last month
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 8 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 2 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆147Updated 2 years ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆477Updated 3 weeks ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated 3 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆161Updated 5 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆316Updated last year
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 4 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.
  ☆205Updated 10 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆125Updated 5 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆20Updated last week
• codereport / hoogle-translate
  ☆113Updated 3 weeks ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆661Updated last week