Zyfarok

CS PhD Student @ EPFL

EPFLFrance and Switzerland

Pinned Repositories

bolts
Bolts: Stainless Verified Scala Examples
Language:Scala0 1 00
braid-bench
Benchmarks and tools for Braid, a storage-advice generator for Proof of Usable Space. + Thesis source
Language:Assembly1 1 00
collection-to-direct
Language:JavaScript0 2 00
euclidian-escape
The Euclidian Escape VR Project
Language:C#0 3 30
fv2020-tms
Language:Dafny0 3 00
OpenTabletDriver.Web
Language:HTML0 1 00
osu
rhythm is just a *click* away!
Language:C#0 0 00
osu-wiki
home of the osu! wiki
Language:Markdown0 0 00
reactive-broadcast
FIFO and Causal Broadcast implement in Java with ReactiveX
Language:Java0 2 00
swiftframes
Motion-compensated Frame Interpolation Algorithm using Features Matching
Language:Python8 4 02

Zyfarok's Repositories

Zyfarok/swiftframes
Motion-compensated Frame Interpolation Algorithm using Features Matching
Language:Python8 4 02
Zyfarok/braid-bench
Benchmarks and tools for Braid, a storage-advice generator for Proof of Usable Space. + Thesis source
Language:Assembly1 1 00
Zyfarok/bolts
Bolts: Stainless Verified Scala Examples
Language:Scala0 1 00
Zyfarok/collection-to-direct
Language:JavaScript0 2 00
Zyfarok/euclidian-escape
The Euclidian Escape VR Project
Language:C#0 3 30
Zyfarok/fv2020-tms
Language:Dafny0 3 00
Zyfarok/OpenTabletDriver.Web
Language:HTML0 1 00
Zyfarok/osu
rhythm is just a *click* away!
Language:C#0 0 00
Zyfarok/osu-wiki
home of the osu! wiki
Language:Markdown0 0 00
Zyfarok/reactive-broadcast
FIFO and Causal Broadcast implement in Java with ReactiveX
Language:Java0 2 00
Zyfarok/softsec-grass
Language:C++0 4 201
Zyfarok/stainless
Verification framework and tool for higher-order Scala programs
Language:HTML1 0
Zyfarok/tiny-AES-c
Small portable AES128/192/256 in C
Language:C1 0
Zyfarok/YCSB
Yahoo! Cloud Serving Benchmark
Language:Java0 0
Zyfarok/Zyfarok