https://github.com/veyselusta/programming-language-research

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

compilers formal-methods functional-programming interpreters logic programming-languages type-theory

Last synced: 28 Aug 2025