imteekay / programming-language-researchLinks
✨ Programming Language Research, Applied PLT & Compilers
☆943Updated 10 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
Sorting:
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆244Updated last year
- My chapter-wise notes for Database Internals by Alex Petrov.☆487Updated 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
- Comprehensive guide, algorithms and tools on distributed systems☆225Updated last month
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆647Updated last week
- A single-threaded TCP server with an event loop using the poll system call written in C.☆91Updated last year
- ✨ Algorithms & Data Structures & Computer Science studies☆557Updated 8 months ago
- Create the best technical resources for developers to build a strong foundation for professional growth.☆97Updated 4 months ago
- Papers informing the design and development of Distributed Async Await☆81Updated 6 months ago
- advanced compilers☆860Updated 2 weeks ago
- A book about compiling Racket and Python to x86-64 assembly☆1,496Updated this week
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆335Updated 4 months ago
- Tools for a compilers course☆126Updated 2 months ago
- ✨ A Learning Path for Functional Programming☆1,025Updated 10 months ago
- ✨ Research, studies, and practice on Frontend☆102Updated last year
- (educational) build your own disk based KV store☆1,336Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- a tiny multidimensional array implementation in C similar to numpy, but only one file.☆227Updated last year
- A curated list of awesome resources and learning materials in the field of X internals☆140Updated last year
- 📚 Roadmap to becoming a distributed systems Ph.D 🎓☆106Updated 5 years ago
- An HTTP server written from scratch in C.☆52Updated last year
- Patterns and resources of low latency programming.☆708Updated last month
- ✨ Frontend Infrastructure Research☆310Updated 10 months ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆866Updated 2 weeks ago
- Prototype implementations of database internal concepts and algorithms in Golang.☆129Updated last year
- A curated list of resources on operating system design and implementation.☆170Updated last year
- Web browser engineering (a book)☆998Updated this week
- Built Simple memory datastore like redis to learn how it works internally and how databases are built , it has set,get, transactions (mul…☆30Updated last year
- A collection of resources for learning type theory and type theory adjacent fields.☆2,350Updated 5 months ago
- A roadmap to teach myself compiler dev, malware reverse engineering, exploitation and kernel dev fundamentals☆496Updated 8 months ago