Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by veyselusta
A curated list of projects in awesome lists by veyselusta .
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: 25 Dec 2024
