adrwes

Pinned Repositories

GPU-boids
Realtime boids simulation on GPU in Unity using compute shader.
Language:C#30
HolBA-master-thesis
Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr
Language:Standard ML00
idris-mergesort
Verified mergesort in Idris
Language:Idris00
idris-stlc
Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris
Language:Idris0 0 00
minizinc-jindosh-riddle
Minizinc solution to the "jindosh riddle" from Dishonored 2
00
wemake-python-styleguide
The strictest and most opinionated python linter ever!
Language:Python00
HolBA
Binary analysis in HOL
Language:Standard ML35 5 4921
vrp-sa-ga
A comparison of Simulated Annealing and Genetic Algorithm for a Vehicle Routing Problem
Language:Jupyter Notebook10 1 03
wemake-python-styleguide
The strictest and most opinionated python linter ever!
Language:Python2.5k 31 1.1k381

adrwes's Repositories

adrwes/GPU-boids
Realtime boids simulation on GPU in Unity using compute shader.
Language:C#30
adrwes/HolBA-master-thesis
Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr
Language:Standard ML00
adrwes/idris-mergesort
Verified mergesort in Idris
Language:Idris00
adrwes/idris-stlc
Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris
Language:Idris0 0 00
adrwes/minizinc-jindosh-riddle
Minizinc solution to the "jindosh riddle" from Dishonored 2
00
adrwes/wemake-python-styleguide
The strictest and most opinionated python linter ever!
Language:Python00