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.

WIP ISO 7185 Pascal interpreter

Crafting an interpreter/compiler with TypeScript.

💐 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

a categorical programming language (WIP)

My own Forth dialect on top of the Lua programming language. [Work in Progress]

Chinese translation of Essential of Programming Languages 3rd Edition

Lennart Augustsson's lamda cube

The calculus of constructions

Coursera: Programming Languages, Univ. of Washington

A complete compiler for an object-oriented language with static typing