Miguel Pérez García's repositories
android-runner
Python framework for automatically executing measurement-based experiments on native and web apps running on Android devices
Language:Python000
Language:CMIT000
logical_verification_2022
Logical Verification 2022-2023 course at VU Amsterdam
Language:Lean000
simdjson-rs
Rust port of simdjson