Popular repositories Loading

1. repro-in-cs repro-in-cs Public

   Forked from shriram/repro-in-cs

   Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)

   TeX

2. patina-proof patina-proof Public

   Forked from anasazi/patina-proof

   Proofs about Patina, the Rust formalization

   Agda

3. ocaml.org ocaml.org Public

   Forked from ocaml/v2.ocaml.org

   Implementation of the ocaml.org website.

   OCaml

4. Homebrew-smlnj-110.82 Homebrew-smlnj-110.82 Public

   The purpose of this repo is to make SML N/J 110.82 available via homebrew for Mac, primarily for University of Washington CSE 341 students since as of Spring 2019, the standard brew smlnj is 110.84…

   Ruby

5. CSrankings CSrankings Public

   Forked from emeryberger/CSrankings

   A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

   Python

6. aleph aleph Public

   Forked from anpaz/aleph

   F#