Pinned Repositories
bors
Integration robot for buildbot and github
es4
snapshot of the abandoned ES4 reference implementation
exhaustigen-rs
exhaustive testing library
monotone
distributed revision control system -- historical snapshot
rust
personal fork for work on rust language
rust-prehistory
historical archive of rust pre-publication development
stellar-core
distributed transaction processor
stxt
sketch of a secure async group communication system
swift
The Swift Programming Language
graydon's Repositories
graydon/awesome-consensus
Awesome list for Paxos and friends
graydon/awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
graydon/civetweb
Embedded C/C++ web server
graydon/dsvpn
A Dead Simple VPN.
graydon/visual-programming-codex
Resources and references for the past and future of visual programming.
graydon/AquaHash
Fast Hash Functions Using AES Intrinsics
graydon/arugula
a small C++ lattice library
graydon/astrocore
Stellar-core implementation in Rust (WIP)
graydon/awesome-crdt
A collection of awesome CRDT resources
graydon/Bedrock
Rock solid distributed database specializing in active/active automatic failover and WAN replication
graydon/bitsy
Bitsy Graph Database v3
graydon/bolt
Fast approximate vector operations
graydon/braid-spec
Working area for Braid extensions to HTTP
graydon/circonusllhist
A go implementation of Circonus log-linear histograms
graydon/covering-input-structure
Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
graydon/declarative-dataflow
A reactive query engine built on differential dataflow.
graydon/docker-stellar-core
Dockerfile for stellar-core containers
graydon/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
graydon/Grift
A compiler for the gradually typed lambda calculus
graydon/libcircllhist
A C implementation of Circonus log-linear histograms
graydon/memory-profiler
graydon/nanoda
A type checker for the Lean theorem prover
graydon/nnn
:dolphin: The missing terminal file manager for X.
graydon/orbeon-forms
Orbeon Forms is an open source web forms solution. It includes an XForms engine, the Form Builder web-based form editor, and the Form Runner runtime.
graydon/provsql
Adding support for (m-)semiring provenance and uncertainty management to PostgreSQL databases
graydon/reflect-1
Compile-time reflection API for developing robust procedural macros (proof of concept)
graydon/reflection-schemes
exploration of reflective architectures in Scheme
graydon/sunrise-commander
Twin-pane file manager for Emacs based on Dired and inspired by Midnight Commander
graydon/trust
Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows
graydon/TSD
Transparent Synchronous Dataflow