Graydon Hoare

rust-prehistory. historical archive of rust pre-publication development

723

bors. Integration robot for buildbot and github

451

rust. personal fork for work on rust language

209

stxt. sketch of a secure async group communication system

104

monotone. distributed revision control system -- historical snapshot

81

exhaustigen-rs. exhaustive testing library

66

obsidian-dangling-links. obsidian plugin for displaying dangling links

47

country-bounding-boxes. Bounding boxes and misc info for countries

38

extent. replacement for std::ops::{Range,RangeInclusive}

37

backtrace-error. wrap errors with automatic backtrace capture and print-on-result-unwrap

32

clepsydra. small distributed database protocol

31

papers-we-love. Papers from the computer science community to read and discuss.

29

concorde. Rust

28

z3-rs. Rust

25

bs. Simple bitset with small-set (single-word) optimization

20

swift. The Swift Programming Language

19

sixbit. a crate for small packed strings

18

bocu1. a BOCU-1 encoder/decoder library in rust

18

panic-room. Rust

17

berlin. berlin windowing system -- historical snapshot

17

stellar-core. distributed transaction processor

17

rust-mode. Emacs Lisp

16

exhaustigen. C++

12

pergola. abstract types for join-semilattices

11

proptest-arbitrary-interop. Interop glue between arbitrary and proptest crates

11

photesthesis. test framework

11

scholar-digest. small script for managing google scholar alert emails

11

newel. small vectorized evaluator

10

ordbog. lossy dictionary codes for accelerated scans

9

edelcrantz. Rust

7

es4. snapshot of the abandoned ES4 reference implementation

6

z3-sys. Low-level rust bindings to the Z3 SMT solver

4

distributed-consensus-reading-list. A long list of academic papers on the topic of distributed consensus

4

ivy-notes. HTML

3

brevet. experimental term evaluator

3

libuv. platform layer for node.js

3

qc.rs. quickcheck for Rust

3

check-lockfile-intersection. Rust

3

JAWS. JAWS: The Javascript + AWS Stack – A monstrously scalable, server-free, web application boilerplate using bleeding-edge AWS services...

2

awesome-c. A curated list of awesome C frameworks, libraries and software.

2

rust-feature-toggle. VS Code Extension for quick enabling and disabling rust feature

2

awesome-dbdev. Awesome materials about database development.

2

vanity25519. a small vanity-keygen toy for ed25519 keys

2

prql. PRQL is a modern language for transforming data — a simpler and more powerful SQL

2

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

2

VizHash.js. A javascript implementation of visual hash using html5 canvas

2

obsidian-html. A simple tool to convert an Obsidian vault into HTML

1

awesome-information-retrieval. A curated list of awesome information retrieval resources

1

duckdb. DuckDB is an in-process SQL OLAP Database Management System

1

rustsec. RustSec API & Tooling

1

scp-proofs. Isabelle

1

language-garden. A garden of small programming language implementations 🪴

1

tpde. A fast framework for writing baseline compiler back-ends in C++

1

stellar-xdr. Staging area for future version of Stellar XDR.

1

mech. Main repository for the Mech programming language. Start here!

1

actions-k3s. Github action for spinning up local k3s instance and running kubectl commands

1

hotspot. The Linux perf GUI for performance analysis.

1