sychoo's Stars
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
1995parham/github-do-not-ban-us
GitHub do not ban us from open source world :iran:
wyvernlang/wyvern
The Wyvern programming language.
CMU-cabot/cabot
rose-lang/rose
Composable autodiff for the interactive web.
VUISIS/formula
FORMULA 2.0: Formal Specifications for Verification and Synthesis
ari23/NetBricks
NetBricks: A network function framework written in Rust and using DPDK
sychoo/GetTheOffer
Repository for Jeanie and Simon to practice coding interview and get offers from top tech companies.
sychoo/wyvern
The Wyvern programming language.