veyselusta / programming-language-researchLinks
Research on theory of programming languages Ī», compilers, interpreters, functional programming, formal methods, logic etc.
ā240Updated 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 šŖ“ā276Updated this week
- Reference implementation for Writing a C Compilerā179Updated 5 months ago
- A modern supercompiler for call-by-value functional languagesā422Updated 3 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/casā333Updated 3 months ago
- ā85Updated 3 years ago
- Par (ā ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.ā426Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesā119Updated 7 months ago
- Test cases for Writing a C Compilerā306Updated 3 months ago
- Inpla: Interaction nets as a programming language (the current version)ā309Updated 9 months ago
- ⨠Zero Bullshit Gitā229Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this areaā602Updated 2 months ago
- ⨠Programming Language Research, Applied PLT & Compilersā936Updated 9 months ago
- CMSC 430 Design and Implementation of Programming Languagesā51Updated 7 months ago
- OCaml - Oxidized!ā444Updated this week
- The Dao of Functional Programmingā470Updated last month
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.ā44Updated 5 months ago
- Educational JIT compiler for ARM64 in Zig.ā61Updated 11 months ago
- Temporary repository for Kind2's refactor based on HVM2ā281Updated 10 months ago
- ā119Updated last year
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.ā125Updated 4 months ago
- My slides and compilation of resources.ā154Updated 11 months ago
- š A collection of resources about supercompilationā115Updated 3 weeks ago
- Code challenges to solve with Haskellā160Updated 3 months ago
- HVM3ā232Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compilerā40Updated last month
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.ā56Updated last year
- Spartan type theoryā270Updated last year
- GPU-accelerated compilerā348Updated last year
- Solutions to OCaml Programmingā86Updated 2 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured dā¦ā57Updated 2 years ago