FedericoPonzi

Horust

Horust is a supervisor / init system written in rust and designed to run inside containers.

Isitdown.site

The source code for isitdown.site web application.

bare-metal-space-invaders

tla-plus-specs

snitchrs

Find to which IP your machine is sending requests using eBPF.

awesome-stars

My awesome list based on my stars

lesser

Lesser: a CLI based text reader

bina

Bina programming language

cryptopals

My solutions to cryptopals challanges

distributed-systems-bot

The code powering @distribsystems on Twitter

genereto

A static site generator for blogs.

advent-of-code

My solutions for advent of code.

awesome-low-latency

awesome-tlaplus

A curated list of TLA+ resources.

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

chrome-webstore-api

Chrome webstore API for NodeJS

fponzi.me

The source code of my website.

green_trust

HashTable

An associative array implementation in C.

horcrust

learntla-v2

Learn TLA+ for free! No prior experience necessary!

libsmalloc

A custom malloc implementation

ProgrammazioneDiSistema2014-2015

Appunti, script ed altro del corso di Programmazione di Sistema 2014-2015.

protohackers

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

vascofazza.github.io

vfat-rs

A simple VFAT implementation written in rust.

www.surrealdb.com

The website, and blog for SurrealDB, built using Ember.js

ziglearn

Repo for https://ziglearn.org content. Get up to speed with Zig quickly.