veyselusta / programming-language-researchLinks
Research on theory of programming languages Îŧ, compilers, interpreters, functional programming, formal methods, logic etc.
â247Updated 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 ðŠīâ287Updated last week
- Par (â ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.â468Updated 2 weeks ago
- A modern supercompiler for call-by-value functional languagesâ426Updated last month
- A listing of compiler, language and runtime teams for people looking for jobs in this areaâ661Updated 2 weeks ago
- âĻ Programming Language Research, Applied PLT & Compilersâ943Updated 11 months ago
- Reference implementation for Writing a C Compilerâ199Updated 7 months ago
- Inpla: Interaction nets as a programming language (the current version)â311Updated 11 months ago
- âĻ Zero Bullshit Gitâ278Updated 2 weeks ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesâ124Updated 9 months ago
- â87Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/casâ336Updated 5 months ago
- Test cases for Writing a C Compilerâ322Updated last month
- GPU-accelerated compilerâ354Updated last year
- ð CCL: Categorical Configuration Language, The most elegant configuration languageâ237Updated 2 months ago
- CMSC 430 Design and Implementation of Programming Languagesâ51Updated last week
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.â45Updated 7 months ago
- ð A collection of resources about supercompilationâ119Updated 2 months ago
- â119Updated last year
- Educational JIT compiler for ARM64 in Zig.â62Updated last year
- A menagerie of cute implementations of modern typechecking algorithmsâ322Updated last week
- A series of down-to-earth articles on implementing type inferenceâ159Updated 5 years ago
- The Dao of Functional Programmingâ483Updated last month
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.â133Updated 2 weeks ago
- Tools for a compilers courseâ126Updated 2 months ago
- OCaml - Oxidized!â509Updated this week
- Temporary repository for Kind2's refactor based on HVM2â280Updated last year
- an educational compiler intermediate representationâ701Updated 2 weeks ago
- HVM3â264Updated last week
- A Simple showcase for the Sea-of-Nodes compiler IRâ782Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculusâ180Updated 4 years ago