veyselusta / programming-language-researchLinks
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
β205Updated 9 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 πͺ΄β268Updated this week
- β84Updated 3 years ago
- Reference implementation for Writing a C Compilerβ164Updated 4 months ago
- β¨ Zero Bullshit Gitβ227Updated last year
- Modern scientific computing for OCamlβ216Updated last week
- A modern supercompiler for call-by-value functional languagesβ415Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)β306Updated 7 months ago
- Tools for a compilers courseβ125Updated this week
- Source code for the book Building a Debuggerβ295Updated 2 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesβ116Updated 6 months ago
- A tinycompiler in C from scratchβ94Updated 10 months ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β266Updated this week
- Educational JIT compiler for ARM64 in Zig.β60Updated 10 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/casβ328Updated last month
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.β43Updated 4 months ago
- CMSC 430 Design and Implementation of Programming Languagesβ51Updated 6 months ago
- OCaml - Oxidized!β352Updated this week
- GPU-accelerated compilerβ346Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this areaβ598Updated last month
- Generate random messages based on their BNF definitionβ89Updated 2 months ago
- Programs and Proofs -- Spring 2025 -- IITMβ18Updated last month
- A guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary opβ¦β333Updated 7 months ago
- my little linear algebra libraryβ46Updated 11 months ago
- Advanced memory management features of C and C++; the differences between imperative and object-oriented paradigms. The functional paradiβ¦β37Updated last year
- Experimental JavaScript runtime built with C, JavaScriptCore (JSC), and libuv.