github/CodeSearchNet 📦

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

Language: Jupyter Notebook - Size: 28.6 MB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 2,307 - Forks: 402

imteekay/programming-language-research

✨ Programming Language Research, Applied PLT & Compilers

Language: Clojure - Size: 35.8 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 926 - Forks: 57

autosoft-dev/tree-hugger

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

Language: Python - Size: 1.38 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 128 - Forks: 11

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.

Size: 3.24 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 55 - Forks: 1

imteekay/crafting-an-interpreter

Crafting an interpreter/compiler with TypeScript.

Language: TypeScript - Size: 364 KB - Last synced at: 7 days ago - Pushed at: 12 months ago - Stars: 51 - Forks: 0

komninoschatzipapas/psi

WIP ISO 7185 Pascal interpreter

Language: TypeScript - Size: 393 KB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 48 - Forks: 3

cratelyn/j

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

Language: Rust - Size: 258 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 40 - Forks: 0

imteekay/mini-typescript

A miniature model of the Typescript compiler

Language: TypeScript - Size: 192 KB - Last synced at: 7 days ago - Pushed at: 12 months ago - Stars: 34 - Forks: 0

ayazhafiz/plts

A collection of programming languages and type systems.

Language: OCaml - Size: 160 MB - Last synced at: 7 days ago - Pushed at: 28 days ago - Stars: 33 - Forks: 4

dannypsnl/plt-research

A collection of PLT researching

Language: Racket - Size: 3.42 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 29 - Forks: 0

mertcandav/pltr 📦

Turkish resource for PLT (Programming Language Theory)

Language: Python - Size: 5.06 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 19 - Forks: 0

Cypher1/tako

An experimental programming language for ergonomic software verification

Language: Rust - Size: 3.19 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 16 - Forks: 1

HiiGHoVuTi/Catrina

a categorical programming language (WIP)

Language: Haskell - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 1

BaseMax/DotWhitespace

DotWhitespace is an esoteric programming language using Python.

Language: Python - Size: 731 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 2

marcoonroad/moonforth

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

Language: Lua - Size: 16.6 KB - Last synced at: 7 months ago - Pushed at: almost 8 years ago - Stars: 15 - Forks: 1

milesbarr/hindley-milner-in-python

Hindley–Milner type inference implemented in Python.

Language: Python - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 1

steshaw/lennart-lambda-cube

Lennart Augustsson's lamda cube

Language: Haskell - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: almost 9 years ago - Stars: 12 - Forks: 3

sd-visualiser/sd-visualiser

String diagram visualiser

Language: Rust - Size: 3.15 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 11 - Forks: 2

chihyang/eopl3_zh

Chinese translation of Essential of Programming Languages 3rd Edition

Language: Racket - Size: 2.77 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 4

azdavis/coc

The calculus of constructions

Language: Rust - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

jchenche/compiler

A complete compiler for an object-oriented language with static typing

Language: C++ - Size: 11.1 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

Carnagion/lamb

Pure untyped lambda calculus in safe Rust.

Language: Rust - Size: 60.5 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

manelli/plt

Programming language theory resources

Size: 78.3 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 1

JonnyKong/Coursera-ProgrammingLanguagesUW

Coursera: Programming Languages, Univ. of Washington

Language: Standard ML - Size: 29.2 MB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 7 - Forks: 4

severen/sly

A cunning interpreter for the pure untyped λ-calculus.

Language: Haskell - Size: 84 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0

marcoonroad/ownership-disciplines

My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]

Language: Ruby - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

wonks/type-theory-reading-group

IU Type Theory reading group

Language: HTML - Size: 2.66 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

chihyang/eopl3

Work on Essentials of Programming Languages edition 3

Language: Scheme - Size: 692 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

DanielGunna/CYK-Binary-Normal-Form

The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).

Language: Java - Size: 19.5 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

Mari-W/System-Fo

formal proof of type preservation of the dictionary passing transform for system f

Language: Agda - Size: 13.1 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

ignaciomosca/EOPL-Scala

Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/) in Scala

Language: Scala - Size: 42 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

yurrriq/blorg

C-c C-e P p >>=

Language: CSS - Size: 1.83 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

lambduli/reading

My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.

Size: 122 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

shilangyu/formal-lang

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

Language: TeX - Size: 70.6 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

fk0225/AFL-Programming-Language

A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.

Language: Haskell - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Mari-W/PolyVGR

proof of concept for polymorphic imperative session types

Language: Haskell - Size: 577 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

kingyong9169/CS_HW

💻소프트웨어학과 전공 과제 저장소

Language: C - Size: 45.9 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Zeta611/gisa

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

Language: C - Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

Hassan-Elseoudy/Simple_Compiler_-PLT-_

Simple compiler, it was designed for Programming Language Translation course, in my 7th term.

Language: Java - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

Scriptlang/Scriptlang

Scriptlang is a cross-platform solution/alternative to the current scripting languages Batch and Shell.

Language: Java - Size: 1.1 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

mdssjc/plt

Programming Language Theory

Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 7.38 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

joangq/edsl

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

Language: Haskell - Size: 3.09 MB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Mobiwn/Programming-Language-Design

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

Size: 34.6 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

kieda/protag

Property Record Object | Tree Automata Grammar

Language: Java - Size: 360 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kienmarkdo/CSI3520-Programming-Language-Concepts

CSI 3520 Concepts des langages de programmation en OCaml et R

Language: OCaml - Size: 25.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

andreadlm/thesis

Language: Lean - Size: 146 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

jiniljeil/RBMRCFAE_Interpreter

Programming Language Theory (laziness, recursion, function, variables)

Language: Java - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ireina7/sf.study

Study notes of Software Foundations

Language: Coq - Size: 5.73 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

NoticeMeDan/bprd-assignments

Assignments for the Programmer som Data course at the IT University of Copenhagen.

Language: F# - Size: 8.18 MB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

AlexiaChen/computation-theory

There are some implementations of computation theory in Ruby.

Language: Ruby - Size: 17.6 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

ltics/PLS

interps compilers theories

Language: OCaml - Size: 390 KB - Last synced at: 5 months ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

daramkun/AdvancedProgrammingLanguageTheory_HW1 📦

Language: Java - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0