Alternatives and similar repositories for TypeLisp

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

• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆246Updated 5 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆102Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated 3 weeks ago
• iczelia / kamilalisp
  A functional, flexible and concise Lisp.
  ☆299Updated 5 months 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 11 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆99Updated 2 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆69Updated 3 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆291Updated 2 years ago
• loophp / combinator
  A curated list of combinators
  ☆123Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆164Updated 5 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆339Updated this week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated 2 weeks ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆37Updated 2 years ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆416Updated last week
• codereport / hoogle-translate
  ☆120Updated this 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.
  ☆211Updated 11 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆62Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated 3 weeks ago
• HigherOrderCO / kindbook
  ☆55Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆227Updated last year
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆262Updated this week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆122Updated 2 weeks ago
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago