Alternatives and similar repositories for TypeLisp:

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

• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated last week
• vmchale / apple
  Apple array system
  ☆66Updated this week
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆50Updated this week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated this week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 3 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 8 months ago
• 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…
  ☆20Updated last month
• cdupont / Timeloop
  ☆41Updated last year
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 5 months ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago
• lexi-lambda / talks
  ☆44Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 10 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated 3 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆57Updated this week
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆110Updated 3 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last month
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated 2 weeks ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• matthunz / view-monad
  ☆24Updated 8 months ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago