Giters
Adrian Westerberg (adrwes)

adrwes

Geek Repo

2

followers

0

following

6

stars

Github PK Tool:Github PK Tool

Adrian Westerberg's repositories

HolBA-master-thesis

Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr

License:NOASSERTIONStargazers:0Issues:0Issues:0

wemake-python-styleguide

The strictest and most opinionated python linter ever!

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

idris-mergesort

Verified mergesort in Idris

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

idris-stlc

Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

minizinc-jindosh-riddle

Minizinc solution to the "jindosh riddle" from Dishonored 2

License:MITStargazers:0Issues:0Issues:0

GPU-boids

Realtime boids simulation on GPU in Unity using compute shader.

Language:C#License:MITStargazers:3Issues:0Issues:0