programming-language-theory
There are 60 repositories under programming-language-theory topic.
github/CodeSearchNet
Datasets, tools, and benchmarks for representation learning of code.
imteekay/programming-language-research
✨ Programming Language Research, Applied PLT & Compilers
autosoft-dev/tree-hugger
A light-weight, extendable, high level, universal code parser built on top of tree-sitter
SatyendraBanjare/plt-formal-methods-resources
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.
imteekay/crafting-an-interpreter
Crafting an interpreter/compiler with TypeScript.
komninoschatzipapas/psi
WIP ISO 7185 Pascal interpreter
cratelyn/j
💐 j is a subset of J, and an essay.
imteekay/mini-typescript
A miniature model of the Typescript compiler
ayazhafiz/plts
A collection of programming languages and type systems.
dannypsnl/plt-research
A collection of PLT researching
mertcandav/pltr
Turkish resource for PLT (Programming Language Theory)
chihyang/eopl3_zh
Chinese translation of Essential of Programming Languages 3rd Edition
Cypher1/tako
An experimental programming language for ergonomic software verification
BaseMax/DotWhitespace
DotWhitespace is an esoteric programming language using Python.
HiiGHoVuTi/Catrina
a categorical programming language (WIP)
marcoonroad/moonforth
My own Forth dialect on top of the Lua programming language. [Work in Progress]
sd-visualiser/sd-visualiser
String diagram visualiser
milesbarr/hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
PnVDiscord/software-foundations-lean
📚 (WIP) Rewriting Software Foundations in Lean 4
steshaw/lennart-lambda-cube
Lennart Augustsson's lamda cube
azdavis/coc
The calculus of constructions
JonnyKong/Coursera-ProgrammingLanguagesUW
Coursera: Programming Languages, Univ. of Washington
manelli/plt
Programming language theory resources
Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
jchenche/compiler
A complete compiler for an object-oriented language with static typing
tixonochekAscended/mini-rip
🪨 A minimal, esoteric, interpreted programming language with magical sigils that execute code.
marcoonroad/ownership-disciplines
My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]
severen/sly
A cunning interpreter for the pure untyped λ-calculus.
wonks/type-theory-reading-group
IU Type Theory reading group
DanielGunna/CYK-Binary-Normal-Form
The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).
chihyang/eopl3
Work on Essentials of Programming Languages edition 3
ignaciomosca/EOPL-Scala
Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/) in Scala
jahin07/compiler
This is a compiler in Java using the ASM byte code framework for code generation in Java Byte Code.
Mari-W/System-Fo
formal proof of type preservation of the dictionary passing transform for system f
fk0225/AFL-Programming-Language
A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.
shilangyu/formal-lang
A formal definition of a language accompanied by proofs of its properties.