Brian Schroeder's repositories
deferred-substitution
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
constellation
Peer-to-peer encrypted message exchange
effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
go-ethereum
Official Go implementation of the Ethereum protocol
httprouter
A high performance HTTP request router that scales well
nixos-templates
Flake templates
quorum-tools
Tools for running Quorum clusters and integration tests
rate-limit
A basic rate-limiting library for Haskell
sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.