Adrian Westerberg's repositories
HolBA-master-thesis
Fork of HolBA containing the HOL4 code from my master thesis in the branch dev_ijr
NOASSERTION000
wemake-python-styleguide
The strictest and most opinionated python linter ever!
Language:PythonMIT000
idris-mergesort
Verified mergesort in Idris
Language:IdrisMIT000
idris-stlc
Verified typechecker and evaluator for Simply Typed Lamda Calculus (STLC) in Idris
Language:IdrisMIT000
minizinc-jindosh-riddle
Minizinc solution to the "jindosh riddle" from Dishonored 2
MIT000