Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

veyselusta/programming-language-research

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

Owner
veyselusta (personal account)
Stars
Stars: 275
Forks
Forks: 10
Language
No language
License
MIT
Created
2023
Topics
compilersprogramming-languagestype-theoryformal-methodsfunctional-programminginterpreterslogic
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub