A Compiler in 85K Instructions (5K SLOC)
-
Updated
Jun 1, 2024 - Assembly
A Compiler in 85K Instructions (5K SLOC)
String diagram visualiser
A cunning interpreter for the pure untyped λ-calculus.
An experimental programming language for ergonomic software verification
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
Programming Language Research, Applied PLT & Compilers
A formal definition of a language accompanied by proofs of its properties.
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
Crafting an interpreter/compiler with TypeScript.
C-c C-e P p >>=
A complete compiler for an object-oriented language with static typing
A collection of programming languages and type systems.
💐 j is a subset of J, and an essay.
A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.
Property Record Object | Tree Automata Grammar
Chinese translation of Essential of Programming Languages 3rd Edition
formal proof of type preservation of the dictionary passing transform for system f
Turkish resource for PLT (Programming Language Theory)
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."