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
  ☆123Updated 9 months ago
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆293Updated last month
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated 3 weeks ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆121Updated 2 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆236Updated 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.
  ☆45Updated 7 months ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆395Updated this week
• codereport / hoogle-translate
  ☆108Updated last month
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆318Updated last week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last week
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆192Updated 7 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆87Updated this week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆465Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆284Updated 2 years ago
• loophp / combinator
  A curated list of combinators
  ☆120Updated this week
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆244Updated 2 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,035Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆154Updated 2 months ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆440Updated this week
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆146Updated last year
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆78Updated last week
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 2 weeks ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 2 years ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆424Updated last month
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆311Updated 10 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆60Updated 8 months ago
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆34Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆287Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆35Updated this week