Datasets, tools, and benchmarks for representation learning of code.
-
Updated
Jan 31, 2022 - Jupyter Notebook
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
WIP ISO 7185 Pascal interpreter
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.
A collection of programming languages and type systems.
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
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
Coursera: Programming Languages, Univ. of Washington
A complete compiler for an object-oriented language with static typing
Pure untyped lambda calculus in safe Rust.
Add a description, image, and links to the programming-language-theory topic page so that developers can more easily learn about it.
To associate your repository with the programming-language-theory topic, visit your repo's landing page and select "manage topics."