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.

💐 j is a subset of J, and an essay.

WIP ISO 7185 Pascal interpreter

A miniature model of the Typescript compiler

A collection of programming languages and type systems.

A collection of PLT researching

📚 (WIP) Rewriting Software Foundations in Lean 4

Turkish resource for PLT (Programming Language Theory)

Chinese translation of Essential of Programming Languages 3rd Edition

String diagram visualiser

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]

Lennart Augustsson's lamda cube

Hindley–Milner type inference implemented in Python.

🪨 A minimal, esoteric, interpreted programming language with magical sigils that execute code.

The calculus of constructions

Programming language theory resources

Coursera: Programming Languages, Univ. of Washington

Pure untyped lambda calculus in safe Rust.

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

My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]

A cunning interpreter for the pure untyped λ-calculus.

IU Type Theory reading group

The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).