veyselusta / programming-language-researchLinks
Research on theory of programming languages Îŧ, compilers, interpreters, functional programming, formal methods, logic etc.
â243Updated 11 months ago
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 ðŠīâ278Updated last week
- âĻ Zero Bullshit Gitâ230Updated last year
- â85Updated 3 years ago
- A modern supercompiler for call-by-value functional languagesâ422Updated 4 months ago
- Par (â ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.â434Updated this week
- Reference implementation for Writing a C Compilerâ188Updated 6 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/casâ333Updated 3 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesâ121Updated 8 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this areaâ610Updated 3 months ago
- âĻ Programming Language Research, Applied PLT & Compilersâ941Updated 10 months ago
- Code challenges to solve with Haskellâ166Updated 4 months ago
- Programs and Proofs -- Spring 2025 -- IITMâ19Updated 3 months ago
- OCaml - Oxidized!â464Updated this week
- Inpla: Interaction nets as a programming language (the current version)â310Updated 9 months ago
- Test cases for Writing a C Compilerâ316Updated this week
- CMSC 430 Design and Implementation of Programming Languagesâ51Updated this week
- ð A collection of resources about supercompilationâ115Updated last month
- A menagerie of cute implementations of modern typechecking algorithmsâ213Updated this week
- The Dao of Functional Programmingâ473Updated last week
- Solutions to OCaml Programmingâ87Updated 2 weeks ago
- An example on how to write an incremental, concurrent, fault-tolerant compilerâ43Updated last month
- My slides and compilation of resources.â154Updated 11 months ago
- ð CCL: Categorical Configuration Language, The most elegant configuration languageâ232Updated 3 weeks ago
- Modern scientific computing for OCamlâ285Updated last week
- Educational JIT compiler for ARM64 in Zig.â62Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.â114Updated last week
- Spartan type theoryâ269Updated last year
- Code and materials for my book "Pragmatic Type Level Design"â143Updated 4 months ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.â45Updated 6 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.â129Updated 4 months ago