Bruno's repositories
data-structures-and-algorithms
for learning purposes
checkpoint
Contains a bunch of links to things I read or watched
book-club-notes
Notes for the book club meetings we are running on Discord
microbubble
An archaic system of storing sound-recordings.
formal-methods
Studying the use of formal methods to specify distributed systems
mysql-user-defined-function-go
MySQL loadable functions in Go
ocaml-raft
Distributed key value store built on top of a Raft implementation with eio from scratch.
dune
A composable build system for OCaml.
egui_graphs
Interactive graph visualization widget for rust powered by egui and petgraph
fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
go-redis
Redis Go client
message-queue-over-a-log
A message queue built over a log.
ocaml.org
The official OCaml website.
pedestal
The Pedestal Server-side Libraries
s3-signed-upload-with-conditions-go
This library can be used to create a S3 presigned url with conditions (policy) and use it to upload objects to S3.
www.katacontainers.io
Kata Containers website repo