PoorlyDefinedBehaviour
Things I've read this year https://github.com/PoorlyDefinedBehaviour/checkpoint/blob/main/2025.md
@grafana
Pinned Repositories
browser-cuphead
this https://github.com/PoorlyDefinedBehaviour/cuphead in the browser
checkpoint
Contains a bunch of links to things I read or watched
data-structures-and-algorithms
for learning purposes
discord-clone-frontend
frontend of my discord clone
memberlist-rs
SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol
ocaml-raft
Distributed key value store built on top of a Raft implementation with eio from scratch.
poorlydefinedbehaviour.github.io
rust_interpreter
Interpreted language using pratt parsing
single_decree_paxos_deterministic_simulation
Single-decree Paxos with deterministic simulation testing
things_to_do
This repository serves as reminder for things that i want to understand/learn about/build
PoorlyDefinedBehaviour's Repositories
PoorlyDefinedBehaviour/data-structures-and-algorithms
for learning purposes
PoorlyDefinedBehaviour/checkpoint
Contains a bunch of links to things I read or watched
PoorlyDefinedBehaviour/poorlydefinedbehaviour.github.io
PoorlyDefinedBehaviour/formal-methods
Studying the use of formal methods to specify distributed systems
PoorlyDefinedBehaviour/book-club-notes
Notes for the book club meetings we are running on Discord
PoorlyDefinedBehaviour/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).
PoorlyDefinedBehaviour/microbubble
An archaic system of storing sound-recordings.
PoorlyDefinedBehaviour/ocaml-raft
Distributed key value store built on top of a Raft implementation with eio from scratch.
PoorlyDefinedBehaviour/single_decree_paxos_deterministic_simulation
Single-decree Paxos with deterministic simulation testing
PoorlyDefinedBehaviour/asynchronous-programming-in-rust
PoorlyDefinedBehaviour/mysql-user-defined-function-go
MySQL loadable functions in Go
PoorlyDefinedBehaviour/programming_elixir_1.6
PoorlyDefinedBehaviour/clojure-study
PoorlyDefinedBehaviour/dune
A composable build system for OCaml.
PoorlyDefinedBehaviour/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
PoorlyDefinedBehaviour/go-raft
PoorlyDefinedBehaviour/go-redis
Redis Go client
PoorlyDefinedBehaviour/hello_perceptron
PoorlyDefinedBehaviour/in-code-model-checker
PoorlyDefinedBehaviour/lean4-study
PoorlyDefinedBehaviour/math
PoorlyDefinedBehaviour/message-queue-over-a-log
A message queue built over a log.
PoorlyDefinedBehaviour/ocaml-tutorials
PoorlyDefinedBehaviour/ocaml.org
The official OCaml website.
PoorlyDefinedBehaviour/P
The P programming language.
PoorlyDefinedBehaviour/pedestal
The Pedestal Server-side Libraries
PoorlyDefinedBehaviour/rust-atomics-and-locks
PoorlyDefinedBehaviour/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.
PoorlyDefinedBehaviour/tla_and_dst_intro
PoorlyDefinedBehaviour/zig-book
An open, technical and introductory book for the Zig programming language