bruderjakob17's Stars
gephi/gephi
Gephi - The Open Graph Viz Platform
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
tldr-pages/tldr
📚 Collaborative cheatsheets for console commands
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
williamfiset/Algorithms
A collection of algorithms and data structures