Pinned Repositories
arfur
Rust + FRC = safe + composable + expressive
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).
dos
DDoS written in GoLang - Quick and simple!
dotfiles
~. Nix all the things!
emu
A toy emulator.
GoServe
Quickly serve static sites with the speed of Go.
lang
salo
Declarative, reproducible, statically typed build and deployment for Operating Systems.
bobbbay's Repositories
bobbbay/dotfiles
~. Nix all the things!
bobbbay/salo
Declarative, reproducible, statically typed build and deployment for Operating Systems.
bobbbay/dos
DDoS written in GoLang - Quick and simple!
bobbbay/bobbbay
We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.
bobbbay/category_theory_experiments
A collection of my experiments while following along with "Category Theory for Programmers"
bobbbay/GoServe
Quickly serve static sites with the speed of Go.
bobbbay/dinwiddy
Dependently typed N-dimensional array type signatures for Idris (2).
bobbbay/lang
bobbbay/emu
A toy emulator.
bobbbay/coils
A type-based component map.
bobbbay/mekena
An agnostic scheduling framework.
bobbbay/finch
bobbbay/finch-old
bobbbay/gastrui
bobbbay/gregpoints-idris2
A (severely incomplete) proof that Idris 2 works beautifully with blockchain.
bobbbay/jargono
yarg-oh-no: an old toy language.
bobbbay/links
Useful links for tons of programming languages, tech stacks, and more!
bobbbay/neomacs
A Nix Flake-packaged Emacs distribution.
bobbbay/noptics
Optics for Rust, but not really.
bobbbay/pest
The Elegant Parser
bobbbay/rtow-rs
My solutions to Ray Tracing in One Weekend, done over more than a weekend, written in idiomatic Rust.
bobbbay/site
The front/backend for my personal website/portfolio/blog.
bobbbay/sterilize.py
A simple library for smart ████ing your text, based on nouns and verbs.
bobbbay/suitware
Proof-of-concept for spacesuit software.
bobbbay/tarsier
A library for the unidirectional, event-based, asynchronous flow of data.
bobbbay/timejumper
Experiments with Bevy web.
bobbbay/tj
bobbbay/wpilib-rs
FRC + Rust = safe + modular + expressive