GitHunt

Bruno

PoorlyDefinedBehaviour

Things I've read this year https://github.com/PoorlyDefinedBehaviour/checkpoint/blob/main/2026.md

Organizations

Languages

Rust43%TypeScript13%Go9%Lean4%TLA4%Prolog4%Erlang4%C++4%Python4%Clojure4%

Top Repositories

Repositories

283
PO
PoorlyDefinedBehaviour/lean4-study

No description provided.

Lean00Updated just now
PO
PoorlyDefinedBehaviour/checkpoint

Contains a bunch of links to things I read or watched. A link appearing in the list does not mean I haven't seen it before or that I agree with it.

140Updated 4 hours ago
PO
PoorlyDefinedBehaviour/formal-methods

The use of formal methods to specify distributed systems

TLA50Updated 1 week ago
PO
PoorlyDefinedBehaviour/discord-clone-backend

graph api for my discord clone

TypeScript40Updated 2 weeks ago
PO
PoorlyDefinedBehaviour/data-structures-and-algorithms

for learning purposes

Rust180Updated 1 month ago
PO
PoorlyDefinedBehaviour/prolog

No description provided.

Prolog00Updated 1 month ago
PO
PoorlyDefinedBehaviour/poorlydefinedbehaviour.github.io

No description provided.

70Updated 2 months ago
PO
PoorlyDefinedBehaviour/egui_graphsFork

Interactive graph visualization widget for rust powered by egui and petgraph

00Updated 2 months ago
PO
PoorlyDefinedBehaviour/neural-net-recognizes-mnist-from-scratch

Neural net that recognizes MNIST digits from scratch.

Go00Updated 3 months ago
PO
PoorlyDefinedBehaviour/single-decree-paxos-erlang

No description provided.

Erlang00Updated 3 months ago
PO
PoorlyDefinedBehaviour/rust_interpreter

Interpreted language using pratt parsing

Rust40Updated 3 months ago
PO
PoorlyDefinedBehaviour/browser-cuphead

this https://github.com/PoorlyDefinedBehaviour/cuphead in the browser

TypeScript352Updated 4 months ago
PO
PoorlyDefinedBehaviour/go-raft

No description provided.

Go20Updated 4 months ago
PO
PoorlyDefinedBehaviour/quintFork

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

00Updated 4 months ago
PO
PoorlyDefinedBehaviour/discord-clone-frontend

frontend of my discord clone

TypeScript191Updated 5 months ago
PO
PoorlyDefinedBehaviour/rust-postgresFork

Native PostgreSQL driver for the Rust programming language

00Updated 5 months ago
PO
PoorlyDefinedBehaviour/cuphead

Game using SDL2

C++61Updated 5 months ago
PO
PoorlyDefinedBehaviour/multi-layer-network-learns-xor

No description provided.

Rust10Updated 7 months ago
PO
PoorlyDefinedBehaviour/manim-hello-world

No description provided.

Python00Updated 7 months ago
PO
PoorlyDefinedBehaviour/memberlist-rs

SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol

Rust10Updated 7 months ago
PO
PoorlyDefinedBehaviour/genetic-algorithm-learns-linear-functions

No description provided.

Rust00Updated 7 months ago
PO
PoorlyDefinedBehaviour/genetic-algorithm-learns-boolean-functions

No description provided.

Rust00Updated 7 months ago
PO
PoorlyDefinedBehaviour/menace-reinforcement-learning

https://people.csail.mit.edu/brooks/idocs/matchbox.pdf

Rust00Updated 7 months ago
PO
PoorlyDefinedBehaviour/single-layer-perceptron

No description provided.

Rust00Updated 8 months ago
PO
PoorlyDefinedBehaviour/least_squares_simple_linear_regression

No description provided.

Rust00Updated 8 months ago
PO
PoorlyDefinedBehaviour/clojure-siteFork

clojure.org site

00Updated 8 months ago
PO
PoorlyDefinedBehaviour/clojure-study

No description provided.

Clojure00Updated 8 months ago
PO
PoorlyDefinedBehaviour/ai-powered-database-2025-get-that-vc-money

No description provided.

Rust00Updated 8 months ago
PO
PoorlyDefinedBehaviour/toy-language-csharp

toy interpreted programming language

C#80Updated 10 months ago
PO
PoorlyDefinedBehaviour/vscode-tlaplusFork

TLA+ language support for Visual Studio Code

00Updated 11 months ago

Gists

Recent Activity

Bruno (PoorlyDefinedBehaviour) | GitHunt