Alternatives and similar repositories for TypeLisp

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

• etiams / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆22Updated this week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 6 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆67Updated this week
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated last month
• Alf0nso / GMP
  Grasshopper's Monadic Parser
  ☆13Updated last month
• cdupont / Timeloop
  ☆41Updated last year
• lexi-lambda / lexi-lambda.github.io
  ☆34Updated last week
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 4 months ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated 2 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated last week
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 6 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• reubenharry / haskell-docs
  ☆58Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 2 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆102Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 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.
  ☆43Updated 4 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆51Updated 11 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week