imteekay / programming-language-researchLinks
✨ Programming Language Research, Applied PLT & Compilers
☆952Updated last year
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:
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆254Updated last year
- My chapter-wise notes for Database Internals by Alex Petrov.☆520Updated last year
- A single-threaded TCP server with an event loop using the poll system call written in C.☆94Updated last year
- A hardware-aware guide to data structures for system software engineers.☆308Updated last week
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆346Updated 7 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,528Updated last month
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆690Updated 2 weeks ago
- A roadmap to teach myself compiler dev, malware reverse engineering, exploitation and kernel dev fundamentals☆527Updated 11 months ago
- advanced compilers☆886Updated this week
- Let's get it☆89Updated 3 years ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆884Updated last month
- A curated list of awesome resources and learning materials in the field of X internals☆142Updated last year
- A new programming language built from scratch as learning tool☆77Updated 2 years ago
- a tiny multidimensional array implementation in C similar to numpy, but only one file.☆226Updated last year
- This repository is a journey through Operating System concepts, with practical implementations in C. Each day focuses on a specific topic…☆332Updated 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…☆346Updated 5 months ago
- 📚 Roadmap to becoming a distributed systems Ph.D 🎓☆114Updated 5 years ago
- Test cases for Writing a C Compiler☆340Updated 3 weeks ago
- A detailed guide to the xv6 code.☆310Updated 2 years ago
- Tools for a compilers course☆127Updated 5 months ago
- The Art of Problem-Solving in Software Engineering: How to Make MySQL Better☆1,899Updated 4 months ago
- ☆69Updated 5 years ago
- Resources for learning C that are the best in my opinion.☆178Updated 3 years ago
- Bolt is a language with in-built data-race freedom!☆607Updated 2 years ago
- Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.☆97Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- 📜 Haskell course info, plan, video lectures, slides☆1,521Updated 2 years ago
- Live code-along document to support my video series about Learning to Program Computers From The Ground Up With Minimal BS.☆153Updated last year
- Haskell MOOC University of Helsinki☆425Updated last month
- Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for…☆130Updated 6 years ago