wilbowma/tekkit-on-demand
Public repository.
Developer Profile
wilbowma
Discovered public repositories for wilbowma in the GitHub catalog.
wilbowma/simply-typed-proofs
Public repository.
wilbowma/frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
wilbowma/coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
wilbowma/handin
Handin server and client
wilbowma/racket-dev-goodies
Scripts for Racket developers
wilbowma/racket
The Racket repository
wilbowma/oapetition
ACM needs to go open access. Let's make this happen.
wilbowma/lilo-hook
A mkinicpio hook for Arch, that runs lilo.
wilbowma/cunittest
Python's unittest library, with threads.
wilbowma/cpanel-ddns
A script to automatically edit the ZoneEdit record on CPanel, allowing you to create your own DDNS server.
wilbowma/trash.sh
Make rm use a trash folder.
wilbowma/scheme-site-template
A small website template system using R6RS scheme.
wilbowma/cKanren
Public repository.
wilbowma/accelerate
Embedded language for high-performance array computations