A garden of small programming language implementations 🪴
          dependent-types          interpreter          type-theory          programming-languages          compilers          type-checking          l-systems          interpreters          elaboration          compilation          typechecking          normalization-by-evaluation          semantic-typechecking          type-systems          language-garden      
    - 
            Updated
            
Oct 31, 2025  - OCaml