Sitelet
https://web.archive.org/web/20220411043333/https://github.com/topics/programming-language-theory
#
programming-language-theory
Here are
36 public repositories
matching this topic...
Datasets, tools, and benchmarks for representation learning of code.
Updated
Jan 31, 2022
Jupyter Notebook
Programming Language Research & Applied PLT
Updated
Mar 28, 2022
Clojure
A collection of PLT researching
Updated
Apr 7, 2022
Racket
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.
DotWhitespace is an esoteric programming language using Python.
Updated
Feb 14, 2022
Python
My own Forth dialect on top of the Lua programming language. [Work in Progress]
a categorical programming language (WIP)
Updated
Mar 20, 2022
Haskell
A complete compiler for an object-oriented language with static typing
Lennart Augustsson's lamda cube
Updated
Jul 13, 2016
Haskell
The Monkey programming language's compiler written in TypeScript.
Updated
Nov 8, 2021
TypeScript
An experimental programming language for ergonomic software verification
Updated
Mar 26, 2022
Rust
A collection of programming languages and type systems.
Updated
Oct 19, 2021
OCaml
Coursera: Programming Languages, Univ. of Washington
Updated
Mar 10, 2018
Standard ML
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
This is a compiler in Java using the ASM byte code framework for code generation in Java Byte Code.
Updated
May 14, 2017
Java
IU Type Theory reading group
Updated
Dec 11, 2020
Haskell
Scriptlang is a cross-platform solution/alternative to the current scripting languages Batch and Shell.
Updated
Aug 30, 2017
Java
Solutions to exercises from: Essentials of Programming Languages: 3rd edition (
http://www.eopl3.com/ ) in Scala
Updated
Nov 3, 2020
Scala
GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
interps compilers theories
Updated
May 20, 2016
OCaml
Simple compiler, it was designed for Programming Language Translation course, in my 7th term.
Updated
Dec 11, 2018
Java
Assignments for the Programmer som Data course at the IT University of Copenhagen.
Chinese translation of Essential of Programming Languages 3rd Edition
Updated
Mar 20, 2022
Racket
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.
Well, the title of the issue tells it all, but just to clarify, we may need a better documentation (something in the read the docs or something like that, or a github page)
It is going to be a tricky work and a very necessary one.