programming-language-theory topic

List programming-language-theory repositories

CodeSearchNet

2.1k
Stars
380
Forks
Watchers

Datasets, tools, and benchmarks for representation learning of code.

tree-hugger

124
Stars
11
Forks
Watchers

A light-weight, extendable, high level, universal code parser built on top of tree-sitter

plt-research

28
Stars
0
Forks
Watchers

A collection of PLT researching

programming-language-research

843
Stars
50
Forks
Watchers

Programming Language Research, Applied PLT & Compilers

plt-formal-methods-resources

41
Stars
1
Forks
Watchers

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.

moonforth

15
Stars
1
Forks
Watchers

My own Forth dialect on top of the Lua programming language. [Work in Progress]

psi

48
Stars
3
Forks
Watchers

WIP ISO 7185 Pascal interpreter

plts

31
Stars
3
Forks
Watchers

A collection of programming languages and type systems.

mini-typescript

30
Stars
0
Forks
Watchers

A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

pltr

18
Stars
0
Forks
Watchers

Turkish resource for PLT (Programming Language Theory)