Lists (27)
💻 algorithms
5 repositories
📚 Books
10 repositories
C/CPP
17 repositories
Code Reading
6 repositories
💻 Compilers
36 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
9 repositories
💻 Databases
23 repositories
Distributed Computing
1 repository
Formal Methods
25 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
19 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
2 repositories
Research
33 repositories
RISC-V
4 repositories
TLA+
11 repositories
Tools
1 repository
Starred repositories
23
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A LaTeX class for producing presentations and slides
An open-source, customizable intermediate logic textbook
The Standard Algorithms in C++.
Sources for my PhD dissertation on the Raft consensus algorithm
Book in preparation: introduction to theoretical computer science
Open Source Introductory Systems Programming Textbook for the University of Illinois
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
"How to Do Great Research" Course for Ph.D. Students
Public snapshots of "ACSL by Example"
Tiny Transactions on Computer Systems (TinyToCS) Site
2025 Papers on Verification of Transactional Isolation Levels