Repository navigation
programming-language-theory
- Website
- Wikipedia
Datasets, tools, and benchmarks for representation learning of code.
✨ Programming Language Research, Applied PLT & Compilers
A light-weight, extendable, high level, universal code parser built on top of tree-sitter
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Crafting an interpreter/compiler with TypeScript.
WIP ISO 7185 Pascal interpreter
💐 j is a subset of J, and an essay.
A miniature model of the Typescript compiler
A collection of programming languages and type systems.
A collection of PLT researching
Turkish resource for PLT (Programming Language Theory)
DotWhitespace is an esoteric programming language using Python.
An experimental programming language for ergonomic software verification
Chinese translation of Essential of Programming Languages 3rd Edition
a categorical programming language (WIP)
My own Forth dialect on top of the Lua programming language. [Work in Progress]
Hindley–Milner type inference implemented in Python.
Lennart Augustsson's lamda cube
A complete compiler for an object-oriented language with static typing