Hrvoje Bandov's starred repositories
hyperswitch
An open source payments switch written in Rust to make payments fast, reliable and affordable
tigerbeetle
The distributed financial transactions database designed for mission critical safety and performance.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.