A portable microkernel-based multiserver operating system written from scratch.

RPMsg implementation for small MCUs

My public Baremetal Raspberry Pi code

Assembly Tutorial for DOS

Query engine for TrailDB

Repository made to make available my codes from the course Parallel Programming.

Benchmark suite for stream processing with Rust, including versions using parallel APIs such as Rust-SSP, Rayon, Tokio, STD Threads, and Pipeliner.

MicroPythonRT is a fork of MicroPython with added support for concurrency, C interoperability, and graphics.

simulation of a multi-core (with an arbitrary number of cores) cache, including set associativity, with simple MSI cache coherency.

SNAP (Small-world Network Analysis and Partitioning) is an extensible parallel framework for exploratory analysis and partitioning of large-scale networks.

'64비트 멀티코어 OS 원리와 구조' 책을 따라 실습해보는 저장소입니다.

Implementation of ESP-IDF Inter-Processor Call

High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).

Rake: Parallel Expression Evaluation using Tree Contraction

Journal is a project written in C that takes a text file and parameters as input to format the text in a newspaper-style column layout. It was developed for the Operating Systems II exam in the second year of my Computer Science studies at Sapienza University.

My notes and coursework code from "Multicore Programming", a module from my BSc in Computer Science from the University of Sapienza, in Rome

Spanning-Tree: Parallel Spanning Tree

Sources and data of the SystemC simulation used in our journal article for MDPI Applied Sciences Special Issue "New Trends in Real-Time Embedded Systems"

A lightweight real-time operating system (RTOS) for Raspberry Pi Pico with symmetric multi-processing (SMP), event groups, buffers, memory pools, deadlock detection, system health monitoring, and extensive profiling capabilities.

Parallel List Ranking for multicore processors