Pinned Repositories
GPU-boids
Realtime boids simulation on GPU in Unity using compute shader.
HolBA-master-thesis
Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr
idris-mergesort
Verified mergesort in Idris
idris-stlc
Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris
minizinc-jindosh-riddle
Minizinc solution to the "jindosh riddle" from Dishonored 2
wemake-python-styleguide
The strictest and most opinionated python linter ever!
HolBA
Binary analysis in HOL
vrp-sa-ga
A comparison of Simulated Annealing and Genetic Algorithm for a Vehicle Routing Problem
wemake-python-styleguide
The strictest and most opinionated python linter ever!
adrwes's Repositories
adrwes/GPU-boids
Realtime boids simulation on GPU in Unity using compute shader.
adrwes/HolBA-master-thesis
Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr
adrwes/idris-mergesort
Verified mergesort in Idris
adrwes/idris-stlc
Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris
adrwes/minizinc-jindosh-riddle
Minizinc solution to the "jindosh riddle" from Dishonored 2
adrwes/wemake-python-styleguide
The strictest and most opinionated python linter ever!