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
  ☆114Updated 5 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 10 months ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆56Updated this week
• cdupont / Timeloop
  ☆41Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated this week
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 6 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 7 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆63Updated 7 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆59Updated last week
• lexi-lambda / lexi-lambda.github.io
  ☆34Updated last week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years 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…
  ☆21Updated 3 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 5 months ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 6 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆108Updated last month
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆33Updated 2 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• mthom / scryer-shen
  ☆52Updated 3 weeks ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆54Updated last week
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago