Bruce C. Miller's repositories
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.
commercial_angler
A commercial fishing simulator.
effective-chargen
Generic, multi-use character generation
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
Language:HaskellGPL-3.0000
Language:Emacs Lisp000
commercial-angler-clj
A commercial fishing simulator
Language:ClojureEPL-1.0000
react-test
A basic React Hello World site
Language:JavaScript000
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
GPL-3.0000
site-template
A template for a Ring/Compojure site
Language:Clojure000
software-foundations
Solutions to “Software Foundations”, by Benjamin Pierce et al.
Language:Coq000
webapp-template
A mildly opinionated template for a Clojure/Clojurescript web application
Language:ClojureGPL-3.0000