#
programming-language-theory
Here are
37 public repositories
matching this topic...
Datasets, tools, and benchmarks for representation learning of code.
Updated
Jan 31, 2022
Jupyter Notebook
A light-weight, extendable, high level, universal code parser built on top of tree-sitter
Updated
Dec 2, 2021
Python
WIP ISO 7185 Pascal interpreter
Updated
Nov 23, 2020
TypeScript
Programming Language Research, Applied PLT & Compilers
Updated
Sep 4, 2022
Clojure
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.
A collection of PLT researching
Updated
Sep 4, 2022
Racket
My own Forth dialect on top of the Lua programming language. [Work in Progress]
DotWhitespace is an esoteric programming language using Python.
Updated
Feb 14, 2022
Python
a categorical programming language (WIP)
Updated
Apr 16, 2022
Haskell
A complete compiler for an object-oriented language with static typing
The Monkey programming language's compiler written in TypeScript.
Updated
Apr 18, 2022
TypeScript
Lennart Augustsson's lamda cube
Updated
Jul 13, 2016
Haskell
A collection of programming languages and type systems.
Updated
Jun 22, 2022
OCaml
An experimental programming language for ergonomic software verification
Coursera: Programming Languages, Univ. of Washington
Updated
Mar 10, 2018
Standard ML
Chinese translation of Essential of Programming Languages 3rd Edition
Updated
May 4, 2022
Racket
The calculus of constructions
Updated
Oct 22, 2021
Rust
My own personal list of ownership policies. 🔬 📚 ❓ 🤔 [Work in Progress]
The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).
Updated
Oct 17, 2019
Java
Programming language theory resources
Improve this page
Add a description, image, and links to the
programming-language-theory
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
programming-language-theory
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.