Coder Social home page Coder Social logo

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

Saverio Miroddi's Projects

ffi-ncurses2 icon ffi-ncurses2

My fixed version of the defunct ffi-ncurses library (project completed and closed)

geet icon geet

Command line interface for performing Git hosting service operations

intelleggere icon intelleggere

Repository di leggi e relative modifiche, per facilità di consultazione

libemuls icon libemuls

My personal experimental project in the retrogaming emulators field, written in Rust.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.