Alternatives and similar repositories for TypeLisp

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

• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆117Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆117Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 3 weeks ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆67Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 9 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆34Updated last year
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆22Updated 3 weeks ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 7 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 3 months ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆176Updated 8 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last week
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated 10 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• qexat / lexie
  a ML-style programming language based on the calculus of constructions type theory
  ☆21Updated last week
• transient-haskell / transient-stack
  All the Transient libraries
  ☆41Updated 3 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated this week
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 5 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• lexi-lambda / lexi-lambda.github.io
  ☆34Updated last month
• etiams / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆23Updated this week
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆60Updated 3 months ago
• axellang / axel
  Haskell + Lisp
  ☆210Updated last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆109Updated this week