Alternatives and similar repositories for AIT:

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

• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 11 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆196Updated last year
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 4 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆151Updated 8 months ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆126Updated 2 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆106Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• blynn / compiler
  The adventures of a Haskell compiler
  ☆215Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆172Updated 9 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆296Updated this week
• clf / celf
  ☆59Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆122Updated 2 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆67Updated last month
• melvinzhang / lambda-calculus-game
  ☆21Updated 3 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆270Updated last year
• danlm / QNial7
  The NIAL language environment
  ☆110Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆95Updated 5 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆89Updated last year
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆259Updated 4 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆136Updated 2 months ago