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
hello-idris
A WordPress plugin written in Idris
bsc-thesis
My second bachelor's thesis
hackerrank
HackerRank solutions
hoare-hask
Paper: Tutorial implementation of Hoare logic in Haskell
keyring
Keyring is an authentication framework for WordPress. It comes with definitions for a variety of HTTP Basic, OAuth1 and OAuth2 web services. Use it as a common foundation for working with other web services from within WordPress code.
Language:PHP000
php-src
The PHP Interpreter
NOASSERTION000
slackApiDoc
Documentation of undocumented Slack API methods
MIT000
zero-to-react
Zero to React