https://github.com/github/CodeSearchNet

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

bert cnn data data-science datasets deep-learning machine-learning machine-learning-on-source-code ml natural-language-processing neural-networks nlp nlp-machine-learning open-data programming-language-theory python representation-learning rnn self-attention tensorflow

Last synced: 13 Mar 2025

https://github.com/github/codesearchnet

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

bert cnn data data-science datasets deep-learning machine-learning machine-learning-on-source-code ml natural-language-processing neural-networks nlp nlp-machine-learning open-data programming-language-theory python representation-learning rnn self-attention tensorflow

Last synced: 29 Sep 2025

https://github.com/imteekay/programming-language-research

✨ Programming Language Research, Applied PLT & Compilers

compiler compiler-design plt programming-language-theory programming-languages-design

Last synced: 14 Apr 2025

https://github.com/autosoft-dev/tree-hugger

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

ast cli code-mining cpp data-mining java javascript languages machine-learning-on-source-code parser parsing php programming-language-theory python python-binding tree-sitter universal

Last synced: 12 Sep 2025

https://github.com/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.

coq entrepreneurship formal-methods formal-verification ideas ideasworthsharing programming-language-theory quantum-programming-language research-data research-paper research-software-engineering sat-solver smt-solver software-verification startup z3

Last synced: 25 Oct 2025

https://github.com/imteekay/crafting-an-interpreter

Crafting an interpreter/compiler with TypeScript.

compiler-construction compiler-design compilers javascript programming-language-theory typescript

Last synced: 19 Sep 2025

https://github.com/cratelyn/j

💐 j is a subset of J, and an essay.

apl array-programming j k performance-art programming-language-concepts programming-language-theory rust

Last synced: 10 Apr 2025

https://github.com/imteekay/mini-typescript

A miniature model of the Typescript compiler

compiler compiler-construction programming-language-theory type-system typescript

Last synced: 14 Apr 2025

https://github.com/ayazhafiz/plts

A collection of programming languages and type systems.

compiler interpreter programming-language programming-language-theory type-systems

Last synced: 19 Jun 2025

https://github.com/dannypsnl/plt-research

A collection of PLT researching

programming-language-theory type-system

Last synced: 11 Feb 2026

https://github.com/pnvdiscord/software-foundations-lean

📚 (WIP) Rewriting Software Foundations in Lean 4

formal-verification lean programming-language-theory software-foundations

Last synced: 01 Nov 2025

https://github.com/basemax/dotwhitespace

DotWhitespace is an esoteric programming language using Python.

dotwhitespace interpreter interpreter-basic interpreter-python programming-language programming-language-concepts programming-language-design programming-language-development programming-language-theory python whitespace whitespace-interpreter whitespace-language whitespace-normalization

Last synced: 05 May 2025

https://github.com/Cypher1/tako

An experimental programming language for ergonomic software verification

experimental-programming-language hoare-triples interpreter language programming-language-theory solver verification

Last synced: 09 May 2025

https://github.com/marcoonroad/moonforth

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

compiler forth interpreter lua programming-language programming-language-theory repl

Last synced: 17 Jul 2025

https://github.com/milesbarr/hindley-milner-in-python

Hindley–Milner type inference implemented in Python.

hindley-milner programming-language-design programming-language-theory python type-system type-systems

Last synced: 31 Aug 2025

https://github.com/steshaw/lennart-lambda-cube

Lennart Augustsson's lamda cube

dependent-types lambda-cube programming-language-theory programming-languages

Last synced: 02 May 2025

https://github.com/manelli/plt

Programming language theory resources

compilers interpreters plt programming-language programming-language-theory

Last synced: 27 Feb 2026

https://github.com/JonnyKong/Coursera-ProgrammingLanguagesUW

Coursera: Programming Languages, Univ. of Washington

functional-programming programming-language-theory racket ruby sml

Last synced: 26 Mar 2025

https://github.com/carnagion/lamb

Pure untyped lambda calculus in safe Rust.

functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl

Last synced: 22 Aug 2025

https://github.com/Carnagion/lamb

Pure untyped lambda calculus in safe Rust.

functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl

Last synced: 09 May 2025

https://github.com/azdavis/coc

The calculus of constructions

programming-language-theory rust

Last synced: 12 Apr 2025

https://github.com/severen/sly

A cunning interpreter for the pure untyped λ-calculus.

computability-theory functional-programming haskell interpreter lambda-calculus language programming-language programming-language-theory

Last synced: 23 Apr 2025

https://github.com/yurrriq/blorg

C-c C-e P p >>=

blog c compiler-designs erlang experiments idris programming-language-theory security type-theory

Last synced: 18 Apr 2026

https://github.com/zeta611/gisa

GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'

introduction-to-static-analysis programming-language programming-language-theory static-analysis static-analyzer yacc

Last synced: 17 Aug 2025

https://github.com/shilangyu/formal-lang

A formal definition of a language accompanied by proofs of its properties.

formal-verification lean memory-safety programming-language-theory stainless

Last synced: 14 Mar 2025

https://github.com/andreadlm/thesis

lean programming-language-theory thesis

Last synced: 30 May 2026

https://github.com/mobiwn/programming-language-design

💻 Dive into a curated collection of programming language comparisons, exercises, and detailed slides in this repository for Urmia University students.

functional-programming haskell object-oriented-programming oop procedural-programming programming-language-concepts programming-language-theory programming-languages racket racket-lang racket-language urmia-university

Last synced: 05 Feb 2026

https://github.com/joangq/edsl

Abordaje Funcional a los lenguajes de dominio específico embebidos - Curso de ECI 2024

applicative applicative-functor computer-science domain-specific-language dsl edsl functional-programming functor haskell monad parser parser-combinators plt programming-language-theory

Last synced: 03 Jan 2026

https://github.com/izo0x90/snake-toy-vm

A generalized/ multi-arch. toy virtual machine, assembler and debugger written in Python. Just a fun project in python building a classical computer emulator.

assembler assembly assembly-language compiler computer-science custom-language debbuger emulation emulator emulators low-level low-level-programming programming-language programming-language-theory programming-languages system-programming virtual-machine virtualization

Last synced: 24 Apr 2026