leandernikolaus

leandernikolaus's Stars

• viperproject/gobra-ide

  VSCode Plugin for Gobra

  Language:TypeScript81

• viperproject/gobra

  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

  Language:Scala10527

• Tirco/PokeMath

  Pokémon Math Game

  Language:JavaScript73

• stidsborg/Cleipnir.ResilientFunctions

  Implement resilient .NET code using ordinary functions & actions

  Language:C#384

• relab/smartmerge

  A collection of algorithms for reconfigurable atomic storage.

  Language:Go82

• 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.

  Language:C++22482

• relab/hotstuff

  Language:Go16853

• quickfeed/quickfeed

  QuickFeed server and web frontend for instant feedback on programming assignments

  Language:Go2016

• joonnna/ifrit

  Language:Go35

• relab/gorums

  Gorums simplify fault-tolerant quorum-based protocols

  Language:Go13714