#
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
602
results
for source starred repositories
Clear filter
DuckDB is an analytical in-process SQL database management system
A curated list of awesome TikZ documentations, libraries and resources
2025 Papers on Verification of Transactional Isolation Levels
Synchronous fault-tolerant distributed algorithms encoded in TLA+
A collection of resources for learning type theory and type theory adjacent fields.
Graph Query Language (ISO/IEC 39075) Antlr4 Implementation
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
Modeling and Proving in Computational Type Theory
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Artifact for the paper "Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving".
Code for the manim-generated scenes used in 3blue1brown videos
A curated list of Best Artificial Intelligence Resources
Automated testing to find logic and performance bugs in database systems
A Primer on Memory Consistency and Cache Coherence (Second Edition) 翻译计划