Pinned Repositories
bc-course-script
course-info
dat310exam
dat655-info
Content and information about the DAT655 course
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
gobrachain
homepage
hotstuff-ivy
Proving the HotStuff BFT protocol using the ivy language and tool
reconfEx
Exercises about reconfiguration
splitbft-proofs
Ivy Proofs for splitBFT
leandernikolaus's Repositories
leandernikolaus/splitbft-proofs
Ivy Proofs for splitBFT
leandernikolaus/hotstuff-ivy
Proving the HotStuff BFT protocol using the ivy language and tool
leandernikolaus/bc-course-script
leandernikolaus/course-info
leandernikolaus/dat310exam
leandernikolaus/dat655-info
Content and information about the DAT655 course
leandernikolaus/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
leandernikolaus/gobrachain
leandernikolaus/homepage
leandernikolaus/reconfEx
Exercises about reconfiguration
leandernikolaus/reconflab
Lab exercises for the lecture on Reconfiguration of replicated systems
leandernikolaus/sp18-lab02
Simple smart contract development and Solidity in depth
leandernikolaus/theses
A collection of theses proposals
leandernikolaus/vue-playlist-examples
leandernikolaus/web-programming
UiS DAT310 Web Programming course, spring 2018