Graydon Hoare (@graydon)
github

graydon

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

rust-prehistory

historical archive of rust pre-publication development
C
472
star
2

bors

Integration robot for buildbot and github
Python
426
star
3

stxt

sketch of a secure async group communication system
JavaScript
98
star
4

monotone

distributed revision control system -- historical snapshot
C
62
star
5

obsidian-dangling-links

obsidian plugin for displaying dangling links
TypeScript
46
star
6

exhaustigen-rs

exhaustive testing library
Rust
34
star
7

extent

replacement for std::ops::{Range,RangeInclusive}
Rust
34
star
8

country-bounding-boxes

Bounding boxes and misc info for countries
Python
32
star
9

backtrace-error

wrap errors with automatic backtrace capture and print-on-result-unwrap
Rust
26
star
10

concorde

Rust
25
star
11

z3-rs

Rust
23
star
12

clepsydra

small distributed database protocol
Rust
21
star
13

rust-mode

Emacs Lisp
16
star
14

bocu1

a BOCU-1 encoder/decoder library in rust
Rust
16
star
15

bs

Simple bitset with small-set (single-word) optimization
Rust
14
star
16

photesthesis

test framework
C++
11
star
17

sixbit

a crate for small packed strings
Rust
10
star
18

exhaustigen

C++
10
star
19

scholar-digest

small script for managing google scholar alert emails
Python
10
star
20

pergola

abstract types for join-semilattices
Rust
10
star
21

proptest-arbitrary-interop

Interop glue between arbitrary and proptest crates
Rust
7
star
22

ordbog

lossy dictionary codes for accelerated scans
Rust
6
star
23

edelcrantz

Rust
6
star
24

z3-sys

Low-level rust bindings to the Z3 SMT solver
Rust
3
star
25

panic-room

Rust
3
star
26

ivy-notes

HTML
2
star
27

vanity25519

a small vanity-keygen toy for ed25519 keys
Rust
2
star
28

python-sregex

mirror of Joe Gregorio's structural regex module for python
Python
2
star
29

cat-wiki

mirror of the cat-language wiki https://code.google.com/p/cat-language/w/list
2
star
30

jepsen-stellar-core

Clojure
1
star
31

gophernicus

Gophernicus - a modern full-featured (and hopefully) secure gopher daemon
C
1
star
32

cat

git mirror of the cat-language repo https://code.google.com/p/cat-language
C#
1
star
33

clojure-stellar-base

clojure code for talking to stellar-core
Clojure
1
star
34

triage

scripts to help with triage on github
Python
1
star
35

berlin

berlin windowing system -- historical snapshot
C++
1
star