bm3719

categories-clj

Some category theory concepts, demonstrated.

grad_school

Some of the code I generated during grad school.

logic-talk

Some logic programming concepts demonstrated

macroexpand-main

The top-level site on macroexpand.com.

practice

Practice/exploratory code in various languages.

commercial_angler

A commercial fishing simulator.

dotfiles

My dotfiles for various applications.

effective-chargen

Generic, multi-use character generation

oxbar

configurable X11 status bar for OpenBSD (and xstatbar successor)

tumblr-identity-manager

Manage your identit(y|ies).

types-talk

LaTeX source for a presentation on type theory

brucescape

A web browser, implemented in Haskell

purrfessor-paws

AI chat character and associated config

bm3719.github.io

commercial-angler-clj

A commercial fishing simulator

react-test

A basic React Hello World site

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

site-template

A template for a Ring/Compojure site

software-foundations

Solutions to “Software Foundations”, by Benjamin Pierce et al.

webapp-template

A mildly opinionated template for a Clojure/Clojurescript web application