Pinned Repositories
aurisaurea.github.io
centre-for-cyber-trust.github.io
aksreplicatest
aoc23
factories
Python project for calculating stuff in factory games
watsky-words
Haskell tool for finding words with overlapping syllables
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
viper-ide
This is the main repository for the Viper IDE extension for VS Code.
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
rayman2000's Repositories
rayman2000/aksreplicatest
rayman2000/aoc23
rayman2000/factories
Python project for calculating stuff in factory games
rayman2000/watsky-words
Haskell tool for finding words with overlapping syllables