#自然语言处理#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
A miniature model of the Typescript compiler
A collection of programming languages and type systems.
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]
DotWhitespace is an esoteric programming language using Python.
Hindley–Milner type inference implemented in Python.
String diagram visualiser
Lennart Augustsson's lamda cube
