Bruno's repositories
checkpoint
Contains a bunch of links to things I read or watched
formal-methods
Studying the use of formal methods to specify distributed systems
map_reduce_go
Implementation of a map reduce system inspired by [MapReduce: Simplified Data Processing on Large Clusters](https://static.googleusercontent.com/media/research.google.com/en//archive/mapreduce-osdi04.pdf).
data-structures-and-algorithms
for learning purposes
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.
mysql-user-defined-function-go
MySQL loadable functions in Go
fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
message-queue-over-a-log
A message queue built over a log.
ocaml-raft
Distributed key value store built on top of a Raft implementation with eio from scratch.
go-redis
Redis Go client
microbubble
An archaic system of storing sound-recordings.
book-club-notes
Notes for the book club meetings we are running on Discord
ocaml.org
The official OCaml website.
pedestal
The Pedestal Server-side Libraries
dune
A composable build system for OCaml.
egui_graphs
Interactive graph visualization widget for rust powered by egui and petgraph
socks5
Socks Protocol Version 5.