veyselusta / programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
☆179Updated 4 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
- Reference implementation for Writing a C Compiler☆134Updated 2 weeks ago
- Source code for the book Building a Debugger☆194Updated 2 months ago
- A garden of small programming language implementations 🪴☆197Updated this week
- A tinycompiler in C from scratch☆91Updated 5 months ago
- Educational JIT compiler for ARM64 in Zig.☆48Updated 5 months ago
- GPU-accelerated compiler☆339Updated 10 months ago
- Test cases for Writing a C Compiler☆205Updated this week
- A modern supercompiler for call-by-value functional languages☆398Updated this week
- An introduction to language design with building a compiler frontend on top of LLVM.☆104Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆284Updated 2 months ago
- An emulation based tool for learning and debugging assembly.☆355Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆100Updated last month
- Tiny Raspberry Pi Operating System☆182Updated 5 months ago
- my little linear algebra library☆46Updated 6 months ago
- Programming with pure lambda calculus☆93Updated this week
- ✨ Zero Bullshit Git☆220Updated last year
- Optimized parallel training implementation of a neural network in C for recognizing handwritten digits from scratch on the MNIST dataset☆80Updated 5 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆445Updated this week
- CMSC 430 Design and Implementation of Programming Languages☆48Updated last month
- A minimal OS implemented following "Operating system in 1000 lines of code"☆99Updated last week
- Tools for a compilers course☆110Updated last month
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆547Updated last month
- Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.☆95Updated 6 months ago
- ☆46Updated 5 months ago
- A guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary op…☆288Updated 2 months ago
- NES toolchain & emulator in C☆129Updated 2 months ago
- The Best Library: a C++ STL replacement☆174Updated 5 months ago
- This repository is a journey through Operating System concepts, with practical implementations in C. Each day focuses on a specific topic…☆197Updated this week
- HVM3☆129Updated this week