hayounav's Stars
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
nothings/stb
stb single-file public domain libraries for C/C++
jart/cosmopolitan
build-once run-anywhere c library
rui314/mold
Mold: A Modern Linker š¦
rr-debugger/rr
Record and Replay Framework
pervognsen/bitwise
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
cmuratori/refterm
Reference monospace terminal renderer
ValveSoftware/Dota2-Gameplay
Public Bug Tracker for Dota2
Vexu/arocc
A C compiler written in Zig.
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
hwayne/learntla-v2
Learn TLA+ for free! No prior experience necessary!
tsoding/minicel
Simple Excel engine without any UI
shachaf/mustardwatch
Detect what files a program uses and rerun it when they change