veyselusta / programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
☆147Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for programming-language-research
- Educational JIT compiler for ARM64 in Zig.☆47Updated 3 months ago
- Reference implementation for Writing a C Compiler☆121Updated 2 months ago
- Source code for the book Building a Debugger☆168Updated last week
- ☆79Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆75Updated 3 months ago
- Advanced memory management features of C and C++; the differences between imperative and object-oriented paradigms. The functional paradi…☆29Updated 5 months ago
- A garden of small programming language implementations 🪴☆177Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆213Updated 3 weeks ago
- A tinycompiler in C from scratch☆91Updated 3 months ago
- my little linear algebra library☆45Updated 4 months ago
- Test cases for Writing a C Compiler☆176Updated 3 weeks ago
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week
- An introduction to language design with building a compiler frontend on top of LLVM.☆90Updated 3 months ago
- GPU-accelerated compiler☆315Updated 8 months ago
- ☆41Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)☆277Updated 3 weeks ago
- a tiny multidimensional array implementation in C similar to numpy, but only one file.☆219Updated 3 months ago
- ☆111Updated 11 months ago
- ☆197Updated 4 months ago
- A programming language that's wise beyond its bytes!🌱🌿🪴☆468Updated 2 months ago
- ✨ Zero Bullshit Git☆187Updated 10 months ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆296Updated last year
- Language tooling for the Lox programming language.☆275Updated last month
- B-tree generator for C☆104Updated this week
- Low-Level Programming Roadmap and Resources☆138Updated this week
- Tiny Raspberry Pi Operating System☆183Updated 3 months ago
- ✨ Programming Language Research, Applied PLT & Compilers☆881Updated 3 weeks ago