veyselusta / programming-language-research
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
β186Updated 6 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
- A garden of small programming language implementations πͺ΄β214Updated this week
- Educational JIT compiler for ARM64 in Zig.β58Updated 6 months ago
- Reference implementation for Writing a C Compilerβ137Updated 2 weeks ago
- β81Updated 3 years ago
- GPU-accelerated compilerβ339Updated 11 months ago
- Source code for the book Building a Debuggerβ215Updated 3 months ago
- Tools for a compilers courseβ119Updated 3 months ago
- β¨ Programming Language Research, Applied PLT & Compilersβ909Updated 4 months ago
- Test cases for Writing a C Compilerβ220Updated 2 weeks ago
- Inpla: Interaction nets as a programming language (the current version)β291Updated 4 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.β106Updated this week
- A programming language that's wise beyond its bytes!π±πΏπͺ΄β498Updated 5 months ago
- world's worst interpreterβ61Updated 7 months ago
- my little linear algebra libraryβ47Updated 7 months ago
- A tinycompiler in C from scratchβ92Updated 7 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesβ105Updated 2 months ago
- A guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary opβ¦β312Updated 3 months ago
- β¨ Zero Bullshit Gitβ223Updated last year
- A modern supercompiler for call-by-value functional languagesβ402Updated last month
- β118Updated last year
- a simple concurrent/parallel sat solver implementation in rustβ18Updated last year
- Advanced memory management features of C and C++; the differences between imperative and object-oriented paradigms. The functional paradiβ¦β37Updated 9 months ago
- An emulation based tool for learning and debugging assembly.β369Updated last month
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.β54Updated 7 months ago
- This repository is a journey through Operating System concepts, with practical implementations in C. Each day focuses on a specific topicβ¦β207Updated this week
- πͺ Tiny challenges for learning WebAssemblyβ66Updated 2 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this areaβ550Updated 2 months ago
- NES toolchain & emulator in Cβ130Updated 3 months ago