rayman2000

PhD Candidate in the Programming Methodology group at ETH Zurich

@viperproject

Pinned Repositories

aurisaurea.github.io
Language:HTML0 1 00
centre-for-cyber-trust.github.io
Language:HTML13
aksreplicatest
Language:HTML0 2 00
aoc23
Language:Scala0 1 00
factories
Python project for calculating stuff in factory games
Language:Lua0 1 00
watsky-words
Haskell tool for finding words with overlapping syllables
Language:Haskell0 1 00
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Language:Scala106 9 31027
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala78 6 64130
viper-ide
This is the main repository for the Viper IDE extension for VS Code.
Language:TypeScript10 4 1499
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
Language:Scala10 2 2815

rayman2000's Repositories

rayman2000/aksreplicatest
Language:HTML0 2 00
rayman2000/aoc23
Language:Scala0 1 00
rayman2000/factories
Python project for calculating stuff in factory games
Language:Lua0 1 00
rayman2000/watsky-words
Haskell tool for finding words with overlapping syllables
Language:Haskell0 1 00