robertseaton/fregerator
An automated theorem prover.
Developer Profile
robertseaton
Discovered public repositories for robertseaton in the GitHub catalog.
robertseaton/fanfic-analysis
Public repository.
robertseaton/paq8pxd
paq8pxd file compressor/archiver
robertseaton/creativity-literature-analysis
Public repository.
robertseaton/writegood-mode
Minor mode for Emacs to improve English writing
robertseaton/neptune
Serve me!
robertseaton/bkz
What should you read? bkz knows.
robertseaton/robertseaton.github.com
Just another Jekyll blog.
robertseaton/anki-growth
Simulation (with a some simplifying assumptions) of Anki decks over time.
robertseaton/euler
Public repository.
robertseaton/fatcat
Public repository.
robertseaton/plan9-kernel
Mirror of the Plan 9 From Bell Labs kernel.
robertseaton/lazarus
Laz·a·rus: an operating system.
robertseaton/quil
(mix Processing Clojure)
robertseaton/ffwd
ffwd plays video.
robertseaton/rspell
Public repository.
robertseaton/gdn
A command line program that encodes mathematical notation into a Gödel numbers and decodes Gödel numbers into mathematical notation.
robertseaton/rs.io
Archiving the written works of Robert Seaton.
robertseaton/os-blog
Blog about operating system design and implementation.
robertseaton/slug
A scriptable BitTorrent engine.
robertseaton/nine
A compatibility layer that enables native Plan 9 binaries to run on top of a Linux kernel.