Alternatives and similar repositories for TypeLisp:

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

• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆53Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• matthunz / view-monad
  ☆23Updated 9 months ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 8 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• 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 9 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 4 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆111Updated 4 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 10 months ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated 3 weeks ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• unisonweb / base
  Unison base libraries
  ☆18Updated this week
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated last week
• jkoppel / ecta
  ☆35Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 5 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆31Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated 2 weeks ago