Alternatives and similar repositories for no-ai

Users that are interested in no-ai are comparing it to the libraries listed below

• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated this week
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated 3 weeks ago
• lexi-lambda / shattered-plans
  ☆40Updated 2 years ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆35Updated 3 weeks ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• sweirich / rebound
  # A simple variable binding library based on well-scoped indices and environments
  ☆29Updated 3 months ago
• dfithian / chez-grater
  ☆37Updated 2 years ago
• lexa-lang / lexa
  ☆42Updated 5 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆50Updated 3 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆38Updated 7 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 7 months ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆32Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 9 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated last week
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 10 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated last week
• fortlang / fort
  Compiler for the fort programming language
  ☆14Updated 7 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated this week
• jkoppel / ecta
  ☆37Updated last year
• gelisam / typechecker-combinators
  ☆17Updated last year
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated last year