Eelis/push_back_reserved
Public repository.
Developer Profile
Eelis
Discovered public repositories for Eelis in the GitHub catalog.
Eelis/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.
Eelis/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Eelis/i3
Public repository.
Eelis/nixpkgs
Nix Packages collection
Eelis/vector-space-opengl
Instances of vector-space classes for OpenGL types
Eelis/slingspace
Public repository.
Eelis/c--grammargraph
Public repository.
Eelis/qs-avg
Proofs of Quicksort's average case complexity
Eelis/hybrid
Certified implementation of abstraction-based hybrid system safety prover.
Eelis/geordi
IRC C++ eval bot