Pinned Repositories
awesome-distributed-systems
A curated list of awesome distributed systems links.
bare-metal-space-invaders
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.
rust-ci
A template repo for your rust project.
tla-plus-specs
FedericoPonzi's Repositories
FedericoPonzi/Horust
Horust is a supervisor / init system written in rust and designed to run inside containers.
FedericoPonzi/Isitdown.site
The source code for isitdown.site web application.
FedericoPonzi/bare-metal-space-invaders
FedericoPonzi/tla-plus-specs
FedericoPonzi/snitchrs
Find to which IP your machine is sending requests using eBPF.
FedericoPonzi/tlaplus-formatter
FedericoPonzi/awesome-stars
My awesome list based on my stars
FedericoPonzi/genereto
A static site generator for blogs.
FedericoPonzi/lesser
Lesser: a CLI based text reader
FedericoPonzi/bina
Bina programming language
FedericoPonzi/cryptopals
My solutions to cryptopals challanges
FedericoPonzi/distributed-systems-bot
The code powering @distribsystems on Twitter
FedericoPonzi/tlaplus-wiki
Moved to dokuwiki: https://docs.tlapl.us
FedericoPonzi/vfat-rs
A FAT32 filesystem implementation written in rust.
FedericoPonzi/advent-of-code
My solutions for advent of code.
FedericoPonzi/awesome-tlaplus
A curated list of TLA+ resources.
FedericoPonzi/aya
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
FedericoPonzi/chrome-webstore-api
Chrome webstore API for NodeJS
FedericoPonzi/green_trust
FedericoPonzi/horcrust
FedericoPonzi/learntla-v2
Learn TLA+ for free! No prior experience necessary!
FedericoPonzi/libsmalloc
A custom malloc implementation
FedericoPonzi/ProgrammazioneDiSistema2014-2015
Appunti, script ed altro del corso di Programmazione di Sistema 2014-2015.
FedericoPonzi/protohackers
FedericoPonzi/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
FedericoPonzi/tlaplus-specs-template
FedericoPonzi/tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
FedericoPonzi/vascofazza.github.io
FedericoPonzi/vscode-tlaplus
TLA+ language support for Visual Studio Code
FedericoPonzi/ziglearn
Repo for https://ziglearn.org content. Get up to speed with Zig quickly.