AlexVonB

Pinned Repositories

caltech-lane-detection
Caltech Lane Detection Software
Language:C0 1 00
RTree
N-dimensional RTree implementation in C++
Language:C++0 1 00
yds
YDS scheduling algorithm for dynamic speed scaling processors which minimizes the total energy consumption
Language:Python3 2 01
styles
Official repository for Citation Style Language (CSL) citation styles.
Language:Ruby3.3k 87 6053.7k
docs
The Laravel documentation.
3k 185 04.6k
laravel-localization
Easy localization for Laravel
Language:PHP3.3k 94 642508
z3
The Z3 Theorem Prover
Language:C++10.1k 179 5.5k1.5k

AlexVonB's Repositories

AlexVonB/yds
YDS scheduling algorithm for dynamic speed scaling processors which minimizes the total energy consumption
Language:Python3 2 01
AlexVonB/caltech-lane-detection
Caltech Lane Detection Software
Language:C0 1 00
AlexVonB/RTree
N-dimensional RTree implementation in C++
Language:C++0 1 00