robert seaton (@robertseaton)
github

robertseaton

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

paq8pxd

paq8pxd file compressor/archiver
C++
24
star
2

plan9-kernel

Mirror of the Plan 9 From Bell Labs kernel.
C
17
star
3

slug

A scriptable BitTorrent engine.
C
9
star
4

os-blog

Blog about operating system design and implementation.
Ruby
5
star
5

fatcat

4
star
6

lazarus

Laz·a·rus: an operating system.
C
3
star
7

bkz

What should you read? bkz knows.
Python
3
star
8

gdn

A command line program that encodes mathematical notation into a Gödel numbers and decodes Gödel numbers into mathematical notation.
C
3
star
9

algorithms

Various algorithms implemented in Haskell.
Haskell
2
star
10

neptune

Serve me!
Go
2
star
11

rs.io

Archiving the written works of Robert Seaton.
HTML
2
star
12

rspell

C
1
star
13

woman-staring-squeeze-page

CSS
1
star
14

de

xmonad config & scripts
Haskell
1
star
15

anki-growth

Simulation (with a some simplifying assumptions) of Anki decks over time.
Scheme
1
star
16

fanfic-analysis

Shell
1
star
17

nine

A compatibility layer that enables native Plan 9 binaries to run on top of a Linux kernel.
C
1
star
18

squeeze-page

Static HTML squeeze/landing/lead generation template.
CSS
1
star
19

robertseaton.github.com

Just another Jekyll blog.
JavaScript
1
star
20

fregerator

An automated theorem prover.
Haskell
1
star
21

ffwd

ffwd plays video.
C
1
star