veyselusta / programming-language-researchLinks
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
β203Updated 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 πͺ΄β240Updated this week
- A tinycompiler in C from scratchβ92Updated 10 months ago
- my little linear algebra libraryβ46Updated 10 months ago
- Reference implementation for Writing a C Compilerβ162Updated 3 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.β119Updated 2 months ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.β43Updated 3 months ago
- Educational JIT compiler for ARM64 in Zig.β60Updated 9 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ219Updated 7 months ago
- GPU-accelerated compilerβ345Updated last year
- Experimental JavaScript runtime built with C, JavaScriptCore (JSC), and libuv.β72Updated last month
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β245Updated this week
- Source code for the book Building a Debuggerβ279Updated last month
- Advanced memory management features of C and C++; the differences between imperative and object-oriented paradigms. The functional paradiβ¦β38Updated last year
- Tools for a compilers courseβ125Updated 2 months ago
- An implement of deep learning framework and models in Cβ48Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)β303Updated 7 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesβ116Updated 5 months ago
- The A+ programming language from Morgan Stanleyβ38Updated 11 years ago
- β83Updated 3 years ago
- Test cases for Writing a C Compilerβ273Updated last month
- CMSC 430 Design and Implementation of Programming Languagesβ51Updated 5 months ago
- Programs and Proofs -- Spring 2025 -- IITMβ16Updated 3 weeks ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.β54Updated 10 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ63Updated last week
- A guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary opβ¦β329Updated 6 months ago
- β¨ Zero Bullshit Gitβ224Updated last year
- A modern supercompiler for call-by-value functional languagesβ415Updated last month
- Can I make an *optimizing* compiler under 1k lines of code?β58Updated 3 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this areaβ598Updated 2 weeks ago
- Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.β96Updated 10 months ago