Datasets, tools, and benchmarks for representation learning of code.

• UpdatedJan 31, 2022
• Jupyter Notebook

✨ Programming Language Research, Applied PLT & Compilers

• UpdatedOct 22, 2024
• Clojure

A light-weight, extendable, high level, universal code parser built on top of tree-sitter

• UpdatedDec 2, 2021
• Python

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.

• UpdatedAug 17, 2019

Crafting an interpreter/compiler with TypeScript.

• UpdatedJun 28, 2024
• TypeScript

WIP ISO 7185 Pascal interpreter

• UpdatedNov 23, 2020
• TypeScript

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

• UpdatedNov 23, 2023
• Rust

A miniature model of the Typescript compiler

• UpdatedJun 28, 2024
• TypeScript

A collection of programming languages and type systems.

• UpdatedMay 11, 2025
• OCaml

A collection of PLT researching

• UpdatedFeb 21, 2025
• Racket

Turkish resource for PLT (Programming Language Theory)

• UpdatedJul 28, 2024
• Python

Chinese translation of Essential of Programming Languages 3rd Edition

• UpdatedJun 19, 2023
• Racket

An experimental programming language for ergonomic software verification

• UpdatedMay 25, 2025
• Rust

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

• UpdatedJun 20, 2017
• Lua

DotWhitespace is an esoteric programming language using Python.

• UpdatedFeb 14, 2022
• Python

a categorical programming language (WIP)

• UpdatedApr 16, 2022
• Haskell

Hindley–Milner type inference implemented in Python.

• UpdatedJun 7, 2023
• Python

String diagram visualiser

• UpdatedJul 13, 2025
• Rust

Lennart Augustsson's lamda cube

• UpdatedJul 13, 2016
• Haskell

The calculus of constructions

• UpdatedOct 22, 2021
• Rust