- Perth, Australia
-
14:24
(UTC +08:00) - https://www.andreabedini.com
- https://orcid.org/0000-0003-4881-1606
Highlights
- Pro
Starred repositories
🐬 A collection of awesome resources for the Flipper Zero device.
A stream-based runtime-verification framework for generating hard real-time C code.
The symbolic execution engine powering the K Framework
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
A curated list of amazingly awesome open-source sysadmin resources.
A list of Free Software network services and web applications which can be hosted on your own servers
Disassemblies of the different Game Boy boot ROMs
Template for UEFI runtime drivers written in Rust with serial logging and debugging support.
A collection of resources for learning type theory and type theory adjacent fields.