gabrielgiussi
Follow
Starred repositories
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Lecture notes on Distributed Computing that are publicly accessible.
📚 A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.
A collection of learning resources for curious software engineers
Prototype Mixed-consistency transaction implementation
The main code repository for the Derecho project.
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Bootstrap Kubernetes the hard way. No scripts.
RFC9562 Unique Identifiers (v1,v3,v4,v5,v6,v7,v8,squuid) for Clojure
</> htmx - high power tools for HTML
a high-performance, POSIX-ish Amazon S3 file system written in Go
A workbench for writing toy implementations of distributed systems.
The financial transactions database designed for mission critical safety and performance.
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
APM, Application Performance Monitoring System
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
Packet, where are you? -- eBPF-based Linux kernel networking debugger
The lazier way to manage everything docker
What happens behind the scenes when we type www.google.com in a browser?