veyselusta / programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
☆145Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for programming-language-research
- Advanced memory management features of C and C++; the differences between imperative and object-oriented paradigms. The functional paradi…☆29Updated 5 months ago
- Educational JIT compiler for ARM64 in Zig.☆47Updated 2 months ago
- Source code for the book Building a Debugger☆165Updated this week
- Reference implementation for Writing a C Compiler☆115Updated 2 months ago
- A tinycompiler in C from scratch☆91Updated 3 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆211Updated last week
- ☆41Updated 4 months ago
- Test cases for Writing a C Compiler☆170Updated last week
- An introduction to language design with building a compiler frontend on top of LLVM.☆89Updated 3 months ago
- A garden of small programming language implementations 🪴☆177Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆277Updated last week
- A modern supercompiler for call-by-value functional languages☆376Updated this week
- a tiny multidimensional array implementation in C similar to numpy, but only one file.☆215Updated 3 months ago
- GPU-accelerated compiler☆314Updated 7 months ago
- Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.☆95Updated 3 months ago
- CMSC 430 Design and Implementation of Programming Languages☆46Updated last week
- ☆47Updated 3 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆294Updated last year
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆53Updated 3 months ago
- Optimized parallel training implementation of a neural network in C for recognizing handwritten digits from scratch on the MNIST dataset☆80Updated 2 months ago
- An emulation based tool for learning and debugging assembly.☆256Updated this week
- A windows debugger written in Rust, for educational purposes☆147Updated 5 months ago
- a simple concurrent/parallel sat solver implementation in rust☆18Updated 9 months ago
- my little linear algebra library☆44Updated 4 months ago
- Tiny Raspberry Pi Operating System☆183Updated 2 months ago
- parallelized hyperdimensional tictactoe☆110Updated 2 months ago
- ☆111Updated 11 months ago
- LLVM - Deluge☆193Updated last week
- ☆495Updated 4 months ago