#
Lists (25)
💻 algorithms
5 repositories
📚 Books
8 repositories
C/CPP
18 repositories
Code Reading
6 repositories
💻 Compilers
34 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
8 repositories
💻 Databases
18 repositories
Distributed Computing
1 repository
Formal Methods
15 repositories
🔮 Future ideas
🏪 gallery
1 repository
✨ Inspiration
Java
1 repository
📖 Libraries
1 repository
🧰 LLM
19 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
1 repository
Research
26 repositories
RISC-V
4 repositories
TLA+
7 repositories
Starred repositories
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.
cmu-soda / carini
Forked from cmu-soda/recomp-verifyThis tool synthesizes symbolic assumptions for TLA+ specifications.
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) 翻译计划
Code Examples for the book "On Java 8"
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
An official implementation of Pangu-Weather
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
Project planning for the C++ Library Evolution Working Group
Verification tool for distributed protocols based on inductive proof decomposition.
A visualized debugging framework to aid in understanding the Linux kernel.
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.