COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20201004230928/https://github.com/topics/programming-language-theory
#
programming-language-theory
Here are
29 public repositories
matching this topic...
Datasets, tools, and benchmarks for representation learning of code.
Updated
Sep 18, 2020
Jupyter Notebook
A collection of papers on modules.
A light-weight, extendable, high level, universal code parser built on top of tree-sitter
Updated
Oct 4, 2020
Python
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.
Studies on Programming Language Theory & Applied PLT
Updated
Aug 5, 2020
JavaScript
My own Forth dialect on top of the Lua programming language. [Work in Progress]
A complete compiler for an object-oriented language with static typing
DotWhitespace is an esoteric programming language using Python.
Updated
Aug 29, 2020
Python
A collection of PLT researching
Updated
Oct 4, 2020
Racket
Coursera: Programming Languages, Univ. of Washington
Updated
Mar 10, 2018
Standard ML
Lennart Augustsson's lamda cube
Updated
Jul 13, 2016
Haskell
Updated
Jan 1, 2019
Haskell
This is my research on computational effects.
Updated
Jan 7, 2019
Haskell
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
This is a compiler in Java using the ASM byte code framework for code generation in Java Byte Code.
Updated
May 14, 2017
Java
My own personal list of ownership policies. 🔬 📚 ❓ 🤔 [Work in Progress]
Programming language theory resources
Updated
Aug 8, 2020
Haskell
Scriptlang is a cross-platform solution/alternative to the current scripting languages Batch and Shell.
Updated
Aug 30, 2017
Java
Simple compiler, it was designed for Programming Language Translation course, in my 7th term.
Updated
Dec 11, 2018
Java
interps compilers theories
Updated
May 20, 2016
OCaml
There are some implementations of computation theory in Ruby.
IU Type Theory reading group
Assignments for the Programmer som Data course at the IT University of Copenhagen.
Solutions to exercises from: Essentials of Programming Languages: 3rd edition (
http://www.eopl3.com/ ) in Scala
Updated
Sep 14, 2020
Scala
A book about programming language theory.
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.
Modify the Lexer module to support scientific notation.
For example,
10e2should be transformed to1000.