veyselusta / programming-language-researchLinks
Research on theory of programming languages Îŧ, compilers, interpreters, functional programming, formal methods, logic etc.
â250Updated last year
Alternatives and similar repositories for programming-language-research
Users that are interested in programming-language-research are comparing it to the libraries listed below
Sorting:
- A garden of small programming language implementations ðŠīâ290Updated 2 weeks ago
- Par (â ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.â483Updated last week
- Reference implementation for Writing a C Compilerâ206Updated 8 months ago
- âĻ Zero Bullshit Gitâ277Updated last month
- A modern supercompiler for call-by-value functional languagesâ427Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesâ125Updated 10 months ago
- â87Updated 3 years ago
- Inpla: Interaction nets as a programming language (the current version)â311Updated 11 months ago
- âĻ Programming Language Research, Applied PLT & Compilersâ948Updated last year
- ð A collection of resources about supercompilationâ121Updated 3 months ago
- Temporary repository for Kind2's refactor based on HVM2â280Updated last year
- The Dao of Functional Programmingâ489Updated last week
- A listing of compiler, language and runtime teams for people looking for jobs in this areaâ670Updated 3 weeks ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/casâ335Updated 5 months ago
- OCaml - Oxidized!â542Updated this week
- ð CCL: Categorical Configuration Language, The most elegant configuration languageâ238Updated 2 months ago
- A menagerie of cute implementations of modern typechecking algorithmsâ337Updated this week
- Programs and Proofs -- Spring 2025 -- IITMâ19Updated 5 months ago
- Educational JIT compiler for ARM64 in Zig.â62Updated last year
- Test cases for Writing a C Compilerâ324Updated 3 weeks ago
- CMSC 430 Design and Implementation of Programming Languagesâ51Updated 2 weeks ago
- Spartan type theoryâ271Updated last month
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.â46Updated 8 months ago
- Code challenges to solve with Haskellâ177Updated last month
- GPU-accelerated compilerâ354Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaâ81Updated last week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.â117Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculusâ180Updated 4 years ago
- My slides and compilation of resources.â155Updated last year
- Tools for a compilers courseâ127Updated 3 months ago