#
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
40
results
for sponsorable starred repositories
Clear filter
An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
A complete guide to start and improve your LLM skills in 2025 with little background in the field and stay up-to-date with the latest news and state-of-the-art techniques!
The official C++ Weekly Repository. Code samples and notes of future / past episodes will land here at various times. PR's will be accepted in some cases.
A minimal programming example for a chat server
Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.
A LaTeX class for producing presentations and slides
The official gpt4free repository | various collection of powerful language models | o4, o3 and deepseek r1, gpt-4.1, gemini 2.5
The missing bridge between Java and native C++
The missing Java distribution of native C++ libraries
💖 A curated list of awesome things related to docsify
Fault-tolerant distributed algorithms encoded in a formal language
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
C++ Insights - See your source code with the eyes of a compiler
An incremental parsing system for programming tools
Jupyter notebooks for tutorial on the Z3 SMT solver
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
ANTLR v4 grammar-based test generator
Slides for talk about Token Swapping and Robot Pivoting
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.