bobbbay

dotfiles

~. Nix all the things!

salo

Declarative, reproducible, statically typed build and deployment for Operating Systems.

dos

DDoS written in GoLang - Quick and simple!

GoServe

Quickly serve static sites with the speed of Go.

bobbbay

We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.

category_theory_experiments

A collection of my experiments while following along with "Category Theory for Programmers"

dinwiddy

Dependently typed N-dimensional array type signatures for Idris (2).

lang

emu

A toy emulator.

coils

A type-based component map.

mekena

An agnostic scheduling framework.

finch

finch-old

gastrui

gregpoints-idris2

A (severely incomplete) proof that Idris 2 works beautifully with blockchain.

jargono

yarg-oh-no: an old toy language.

links

Useful links for tons of programming languages, tech stacks, and more!

neomacs

A Nix Flake-packaged Emacs distribution.

noptics

Optics for Rust, but not really.

pest

The Elegant Parser

rtow-rs

My solutions to Ray Tracing in One Weekend, done over more than a weekend, written in idiomatic Rust.

site

The front/backend for my personal website/portfolio/blog.

sterilize.py

A simple library for smart ████ing your text, based on nouns and verbs.

suitware

Proof-of-concept for spacesuit software.

tarsier

A library for the unidirectional, event-based, asynchronous flow of data.

timejumper

Experiments with Bevy web.

tj

wpilib-rs

FRC + Rust = safe + modular + expressive