Brian Schroeder's repositories
deferred-substitution
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
httprouter
A high performance HTTP request router that scales well
nixos-templates
Flake templates
obsidian-add-arxiv-paper
Obsidian plugin to create a note from arXiv.org
Language:TypeScript000
rate-limit
A basic rate-limiting library for Haskell
sibyl2
The missing fact layer in codebases.
Apache-2.0000
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.
srctx
A library for extracting and analyzing definition/reference graphs from your codebase. Powered by tree-sitter and LSIF/SCIP.
Language:GoApache-2.0000