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

DotWhitespace is an esoteric programming language using Python.

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

a categorical programming language (WIP)

String diagram visualiser

Hindley–Milner type inference implemented in Python.

Lennart Augustsson's lamda cube

📚 (WIP) Rewriting Software Foundations in Lean 4