A binary-compatible unikernel

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Empowering everyone to build reliable and efficient software.

My Bachelor thesis for the course of Computer Science at University of Bologna, 2024/2025

Modular and configurable OS for embedded applications

A tool to configure and manage complex VDE networks

A port of maple tree of the Linux kernel to user space

A command-line benchmarking tool

An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator

Intel / AMD CPU Internals

Binary wrapper that disables vDSO for a wrapped application.

Linux kernel source tree

Progetto per il corso di basi di dati

small elf loader

A Bologna's live bus tracker

High performance UI layout library in C.

KVM-based VM manager which can load ELF files

Examples for: Learning KVM - implement your own kernel

Ext2/3/4 file system utilities

Backgammon Web API

Bypass check if user has a real Microsoft MSA account linked with the Minecraft Launchers PrismLauncher, Prism Launcher

OpenOrienteering Mapper is a software for creating maps for the orienteering sport.

A website to help students manage their private, social and academic life.

Static site generator built with pandoc and Makefile

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

pwninit - automate starting binary exploit challenges