Interactive tool for practicing grammar derivations (with guided hints)

I’m building einlang, a tensor language/compiler with explicit indices, recurrences, and built-in autodiff

Update: Grammar derivation practice tool — now with guided hints + compiler exercises

Why is this program erroneously rejected by three C++ compilers?

Lambda Calculus Explorer

Auto-generating Types for Peggy.js

Weekly virtual meetup

Building Support for Algebraic Effects on Top of TypeScript

Cutie Fly – CuTe Layout Representation and Algebra (and how it can help in compilers), CuTe DSL, and FlyDSL

OriLang - monthly progress update