andreabedini
Follow
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
- Perth, Australia
-
09:38
- 8h ahead - https://www.andreabedini.com
- https://orcid.org/0000-0003-4881-1606
Highlights
- Pro
Starred repositories
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.