imteekay / programming-language-research
✨ Programming Language Research, Applied PLT & Compilers
☆920Updated 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
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆194Updated 7 months ago
- My chapter-wise notes for Database Internals by Alex Petrov.☆430Updated last year
- "The gift of mental power comes from God, Divine Being, and if we concentrate our minds on that truth, we become in tune with this great …☆88Updated 4 years ago
- A book about compiling Racket and Python to x86-64 assembly☆1,409Updated last week
- advanced compilers☆818Updated 3 weeks ago
- A single-threaded TCP server with an event loop using the poll system call written in C.☆90Updated 11 months ago
- Patterns and resources of low latency programming.☆555Updated 8 months ago
- An open, technical and introductory book for the Zig programming language 📚📖☆1,375Updated last week
- Interesting readings and talks on computer science☆692Updated 3 months ago
- A roadmap to teach myself compiler dev, malware reverse engineering, exploitation and kernel dev fundamentals☆437Updated 3 months ago
- A workbench for writing toy implementations of distributed systems.☆3,238Updated 2 months ago
- 📚 Roadmap to becoming a distributed systems Ph.D 🎓☆95Updated 4 years ago
- Comprehensive guide, algorithms and tools on distributed systems☆215Updated 2 months ago
- ☆83Updated 3 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆610Updated 3 years ago
- Getting ready for prod☆457Updated 2 months ago
- ✨ A Learning Path for Functional Programming☆1,012Updated 6 months ago
- Tools for a compilers course☆120Updated last month
- The Art of Problem-Solving in Software Engineering: How to Make MySQL Better☆1,715Updated this week
- 📜Zig Learning Guide & Project Lists☆1,397Updated last week
- A Computer Science Curriculum with Rust flavor!☆925Updated last year
- ☆652Updated last year
- Create the best technical resources for developers to build a strong foundation for professional growth.☆94Updated this week
- Bolt is a language with in-built data-race freedom!☆595Updated last year
- Databases are awesome! 🕶☆58Updated 2 years ago
- An emulation based tool for learning and debugging assembly.☆393Updated this week
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆578Updated last month
- ✨ Zero Bullshit Git☆225Updated last year
- Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.☆96Updated 9 months ago
- 📜 Haskell course info, plan, video lectures, slides☆1,395Updated last year