Pinned Repositories
categories-clj
Some category theory concepts, demonstrated.
commercial_angler
A commercial fishing simulator.
dotfiles
My dotfiles for various applications.
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.
purrfessor-paws
AI chat character and associated config
types-talk
LaTeX source for a presentation on type theory
classic
l1j-en source for the last American client release
bm3719's Repositories
bm3719/categories-clj
Some category theory concepts, demonstrated.
bm3719/grad_school
Some of the code I generated during grad school.
bm3719/logic-talk
Some logic programming concepts demonstrated
bm3719/macroexpand-main
The top-level site on macroexpand.com.
bm3719/practice
Practice/exploratory code in various languages.
bm3719/commercial_angler
A commercial fishing simulator.
bm3719/dotfiles
My dotfiles for various applications.
bm3719/effective-chargen
Generic, multi-use character generation
bm3719/oxbar
configurable X11 status bar for OpenBSD (and xstatbar successor)
bm3719/tumblr-identity-manager
Manage your identit(y|ies).
bm3719/types-talk
LaTeX source for a presentation on type theory
bm3719/brucescape
A web browser, implemented in Haskell
bm3719/purrfessor-paws
AI chat character and associated config
bm3719/bm3719.github.io
bm3719/commercial-angler-clj
A commercial fishing simulator
bm3719/react-test
A basic React Hello World site
bm3719/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
bm3719/site-template
A template for a Ring/Compojure site
bm3719/software-foundations
Solutions to “Software Foundations”, by Benjamin Pierce et al.
bm3719/webapp-template
A mildly opinionated template for a Clojure/Clojurescript web application