If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polytt https://gi

If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polytt https://github.com/ToposInstitute/polytt And here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs https://github.com/solomon-b/lambda-calculus-hs `polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future.