Zyfarok/consensus-fast-paths-correctness
Checking the Correctness of Consensus Fast-Paths in Rocq.
CS PhD Student @ EPFL
Repositories
Zyfarok/classic-mod-multiplier
Script for calculating score ratios between scores with and without slider acc in osu!
Zyfarok/circlecore-lazer-experimental
An osu! utilities library
Zyfarok/Zyfarok
Zyfarok/euz-layout
archlinux package for an EurKEY-based keybard layout edited for the french langage
Zyfarok/swiftframes
Motion-compensated Frame Interpolation Algorithm using Features Matching
Zyfarok/YCSB
Yahoo! Cloud Serving Benchmark
Zyfarok/osu-wiki
home of the osu! wiki
Zyfarok/osu
rhythm is just a *click* away!
Zyfarok/braid-bench
Benchmarks and tools for Braid, a storage-advice generator for Proof of Usable Space. + Thesis source
Zyfarok/OpenTabletDriver.Web
Zyfarok/bolts
Bolts: Stainless Verified Scala Examples
Zyfarok/tiny-AES-c
Small portable AES128/192/256 in C
Zyfarok/reactive-broadcast
FIFO and Causal Broadcast implement in Java with ReactiveX
Zyfarok/euclidian-escape
The Euclidian Escape VR Project
Zyfarok/fv2020-tms
Zyfarok/stainless
Verification framework and tool for higher-order Scala programs