Pinned Loading

1. BeerFeed BeerFeed Public

   A web application to find the best beers around using the Untappd API

   JavaScript 9 1

2. ICFP15-Coq-Proofs ICFP15-Coq-Proofs Public

   Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

   Coq 3 1

3. jfaghm/OceanEddies jfaghm/OceanEddies Public

   A collection of algorithms to autonomously identify and track mesoscale ocean eddies in sea surface height (SSH) satellite data

   MATLAB 95 51

4. ArnholdInstitute/ColdSpots ArnholdInstitute/ColdSpots Public

   Identifying Remote Communities at Scale: A Machine Learning Analysis of Global Satellite Imagery

   Python 4 2

5. cdcepi/zika cdcepi/zika Public

   Data repository of publicly available Zika data

   HTML 165 115

6. ManticoreProject/manticore ManticoreProject/manticore Public

   Parallel ML compiler

   Standard ML 71 7