sudonatalie

sudonatalie's Stars

• chromium/chromium

  The official GitHub mirror of the Chromium source

  Language:C++19.3k56607.1k

• rust-lang/book

  The Rust Programming Language

  Language:Rust15.3k2241.9k3.4k

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k359

• wobscale/EuIrcBot

  A featureful nodejs irc bot

  Language:JavaScript14126115