Boro Sitnikovski's repositories
dafny-tutorial
Exercises for the Dafny Tutorial
soko-scheme
Soko implementation in Scheme
master-thesis
Formal verification of Instruction Sets in Virtual Machines
hackerrank
HackerRank solutions
hello-idris
A WordPress plugin written in Idris
bsc-thesis
My second bachelor's thesis
hoare-hask
Paper: Tutorial implementation of Hoare logic in Haskell
slackApiDoc
Documentation of undocumented Slack API methods
zero-to-react
Zero to React