Bruce C. Miller (bm3719)

bm3719

Geek Repo

Location:West Virginia

Github PK Tool:Github PK Tool

Bruce C. Miller's repositories

categories-clj

Some category theory concepts, demonstrated.

Language:ClojureStargazers:2Issues:0Issues:0

grad_school

Some of the code I generated during grad school.

Language:CStargazers:2Issues:0Issues:0

logic-talk

Some logic programming concepts demonstrated

Language:ClojureStargazers:2Issues:0Issues:0

macroexpand-main

The top-level site on macroexpand.com.

Language:CSSLicense:GPL-2.0Stargazers:2Issues:0Issues:0

practice

Practice/exploratory code in various languages.

Language:ClojureStargazers:2Issues:0Issues:0

commercial_angler

A commercial fishing simulator.

Language:C#License:GPL-2.0Stargazers:1Issues:0Issues:0

dotfiles

My dotfiles for various applications.

Language:Emacs LispStargazers:1Issues:0Issues:0

effective-chargen

Generic, multi-use character generation

Language:ClojureLicense:GPL-3.0Stargazers:1Issues:0Issues:0

tumblr-identity-manager

Manage your identit(y|ies).

Language:ClojureLicense:EPL-1.0Stargazers:1Issues:0Issues:0

types-talk

LaTeX source for a presentation on type theory

Language:TeXStargazers:1Issues:0Issues:0

brucescape

A web browser, implemented in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

commercial-angler-clj

A commercial fishing simulator

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:0Issues:0

react-test

A basic React Hello World site

Language:JavaScriptStargazers:0Issues:0Issues:0

rms-support-letter.github.io

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

License:GPL-3.0Stargazers:0Issues:0Issues:0

site-template

A template for a Ring/Compojure site

Language:ClojureStargazers:0Issues:0Issues:0

software-foundations

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

Language:CoqStargazers:0Issues:0Issues:0

webapp-template

A mildly opinionated template for a Clojure/Clojurescript web application

Language:ClojureLicense:GPL-3.0Stargazers:0Issues:0Issues:0