robertseaton/bkz robertseaton/bkz

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • Created over 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
robertseaton/bkz
github

robertseaton

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

What should you read? bkz knows.

More 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

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
8

algorithms

Various algorithms implemented in Haskell.
Haskell
2
star
9

neptune

Serve me!
Go
2
star
10

rs.io

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

rspell

C
1
star
12

woman-staring-squeeze-page

CSS
1
star
13

de

xmonad config & scripts
Haskell
1
star
14

anki-growth

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

fanfic-analysis

Shell
1
star
16

nine

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

squeeze-page

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

robertseaton.github.com

Just another Jekyll blog.
JavaScript
1
star
19

fregerator

An automated theorem prover.
Haskell
1
star
20

ffwd

ffwd plays video.
C
1
star