Stars
Universal cross-platform tokenizers binding to HF and sentencepiece
A programmable virtual CPU written in untyped lambda calculus
Neptune OS: A Windows NT personality for the seL4 microkernel
AXI, AXI stream, Ethernet, and PCIe components in System Verilog
Symlinks and syncs browser profile dirs to RAM thus reducing HDD/SDD calls and speeding-up browsers.
LeetCode Pattern 500 offers 500 solutions for LeetCode problems in Python and Java, 17 notes on essential concepts related to data structures and algorithms, and 130 patterns for solving LeetCode p…
A new type of asynchronous database combining the concepts of distributed databases and blockchain
A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.
💎 A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
Collection of Summer 2026 tech internships!
A github repo containing internship opportunities targeting freshman/sophomores and underrepresented minorities in CS
Curated list of internships/externships/fellowships exclusive for CS freshman and sophomore (updated for 2026!)
A minimal and fully-customizable CV template for Typst.
IP addresses break, dial keys instead. Modular networking stack in Rust.
A graphical man page viewer with man page search built on OpenGL and mandoc libraries
Single C file, Realtime CPU/GPU Profiler with Remote Web Viewer
The ultimate ORM for Node and Typescript
The backtesting engine that gives you an unfair advantage. Run thousands of trading ideas before others finish one.
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)