zopa/reffit
Community mini-reviews for scientific papers
An iteratee-based HTTP server library, which runs Snap web handlers.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Community mini-reviews for scientific papers
Nix Packages collection
A textbook on informal homotopy type theory
Efforts to get the AngularJS and the haste compiler to play nicely together.