Top Repositories
Repositories
13VE
Veladus/dotfiles
No description provided.
Lua00Updated 4 weeks ago
VE
Veladus/ips2raFork
In-place Parallel Super Scalar Radix Sort (IPS²Ra)
C++00Updated 10 months ago
VE
Veladus/ips4oFork
In-place Parallel Super Scalar Samplesort (IPS⁴o)
C++00Updated 1 year ago
VE
Veladus/daily-compprog
Telegram Bot for Daily Competeive Programming Tasks
Rust30Updated 2 years ago
VE
Veladus/rust-grbFork
Rust library bindings to the Gurobi optimiser.
00Updated 2 years ago
VE
Veladus/russcipFork
Rust interface for SCIP
Rust00Updated 2 years ago
VE
Veladus/faster_knn
No description provided.
Rust00Updated 3 years ago
VE
Veladus/hexaflexagonsFork
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
C++00Updated 3 years ago
VE
Veladus/mount-doom-descriptionFork
Theoretical description of our PACE 2022 solvers
00Updated 3 years ago
VE
Veladus/bwinf2022-rechenraetselFork
No description provided.
00Updated 3 years ago
VE
Veladus/leanFork
Lean Theorem Prover
00Updated 4 years ago
VE
Veladus/codewars-runner-cliFork
This project is now obsolete, but issues are still being tracked here until we have a new repository set up.
JavaScript00Updated 7 years ago
VE
Veladus/streamlyFork
Beautiful Streaming, Concurrent and Reactive Composition (Haskell)
Haskell00Updated 7 years ago