Alternatives and similar repositories for lys

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

• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• vmchale / apple
  Apple array system
  ☆68Updated 2 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆77Updated 8 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 8 months ago
• jkoppel / ecta
  ☆37Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 6 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆69Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated 2 weeks ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 2 weeks ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated 2 weeks ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆64Updated 8 years ago
• contificate / match
  Match compilation algorithm in OCaml
  ☆30Updated 7 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated last week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 8 months ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year