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)
Chinese translation of Essential of Programming Languages 3rd Edition
An experimental programming language for ergonomic software verification
a categorical programming language (WIP)
My own Forth dialect on top of the Lua programming language. [Work in Progress]
String diagram visualiser
DotWhitespace is an esoteric programming language using Python.
Hindley–Milner type inference implemented in Python.
Lennart Augustsson's lamda cube
📚 (WIP) Rewriting Software Foundations in Lean 4