64kramsystem / c2rust-dev

My C2Rust development fork

GitHub Profile

I’m the systems tech lead, database specialist, backend programmer, and data model reverse engineer at Ticketsolve. I have an extensive involvement in open source, and I've maintained a popular technical blog. I'm also a Rust programmer, official member of the Rust Game Development Working Group.

Professional blog: https://saveriomiroddi.github.io
Development journal: https://github.com/64kramsystem/personal_notes/blob/master/journal/brojournal.md
Engineering notes (topics): https://github.com/64kramsystem/personal_notes/tree/master/topics

Main projects:

• ActiveTrigger (2022-): Tech/team lead; callback system for Rails (potentially other frameworks), based on database triggers
• Rust Game Ports (2022-): Author and maintainer of a set of ports of games to Rust libraries, used as public reference; official community project of the Rust Game Development Working Group
• QEMU-pinning (2017-): Small fork of QEMU, with pinning support, and minor tweaks; base for my coauthored paper "To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation"
• Catacomb II-64k (2022): Port of the early John Carmack's game, used to examine the transpilation of a complex program from C to unsafe, then safe, Rust
• To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation (2021): Research paper I've coauthored, on QEMU scalability on different systems
• Friends let real friends use MySQL 8.0 (2020): My MySQL presentation at the preFOSDEM 2020, on the MySQL 8.0 topic; rendered slides here
• ZFS Installer (2019-2022): Shell program to prepare ZFS on a system, and install Debian-based distros; popular among ZFS users
• Professional blog (2017-2022)

Other projects:

• Geet (2017-): hub-like tool, written in Ruby, to manage Github/Gitlab functionalities via terminal
• Serdine (2022): Tiny Rust serialization library for storing types in a raw (but safe), memcpy-like, format
• Poor Man's Spotlight (2022): A minimal desktop search service, written in Rust, for personal use
• parsec-riscv-performance-testing (2021): Shell programs to automatedly setup and run the PARSEC benchmarks on an emulated RISC-V environment
• Ray Tracer Challenge: (~2021): My parallel Rust implementation of the Ray Tracer Challenger (a Whitted ray tracer), used to learn the language
• VGA Passthrough Guide(2017-2021): A detailed guide about passing through GPUs via QEMU/VFIO
• Palware(2017-2019): Disassemblies, done for fun, of DOS-era malware
• Spreadbase (2012-2021): Ruby library to access OpenDocument 1.2 (ie. Libreoffice Calc) spreadsheets