Pinned Repositories
noc-examples-processing
Repository for example code from The Nature of Code book
automata-conversions
Conversions between NFAs, DFAs and regexes in Haskell.
byrne-euclid
A digitalization of Byrne's Euclid.
coq-wdp
A Coq formalization of De Bruijn's weak diamond property. My bachelor's thesis.
graphTT
A termination tool for algebraic graph transformation.
mmart
MM/ART, a multimedia experience in the browser.
reo-automata-formalization
An Isabelle formalization of Reo automata.
royo
The Reo philosophy applied to Docker Compose.
strip-runner
Shell game in which players construct actions by composing algebraic data types.
verifying-concurrent-revisions
An Isabelle/HOL verification of the concurrent revisions concurrency control model. My master's thesis.
overbk's Repositories
overbk/strip-runner
Shell game in which players construct actions by composing algebraic data types.
overbk/automata-conversions
Conversions between NFAs, DFAs and regexes in Haskell.
overbk/byrne-euclid
A digitalization of Byrne's Euclid.
overbk/coq-wdp
A Coq formalization of De Bruijn's weak diamond property. My bachelor's thesis.
overbk/graphTT
A termination tool for algebraic graph transformation.
overbk/mmart
MM/ART, a multimedia experience in the browser.
overbk/reo-automata-formalization
An Isabelle formalization of Reo automata.
overbk/royo
The Reo philosophy applied to Docker Compose.
overbk/verifying-concurrent-revisions
An Isabelle/HOL verification of the concurrent revisions concurrency control model. My master's thesis.