leandernikolaus's Stars
viperproject/gobra-ide
VSCode Plugin for Gobra
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Tirco/PokeMath
Pokémon Math Game
stidsborg/Cleipnir.ResilientFunctions
Implement resilient .NET code using ordinary functions & actions
relab/smartmerge
A collection of algorithms for reconfigurable atomic storage.
microsoft/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
relab/hotstuff
quickfeed/quickfeed
QuickFeed server and web frontend for instant feedback on programming assignments
joonnna/ifrit
relab/gorums
Gorums simplify fault-tolerant quorum-based protocols