Popular repositories Loading

1. Software-Foundations-Solutions Software-Foundations-Solutions Public

   Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/

   Coq 15 7

2. Compiler-Class Compiler-Class Public

   some compilers for a functional language in haskell

   Haskell

3. ResqueBoard ResqueBoard Public

   Forked from wa0x6e/ResqueBoard

   A web interface to monitor php resque activities

   PHP

4. vladoovtcharov.github.io vladoovtcharov.github.io Public

   Page test

5. openslide openslide Public

   Forked from openslide/openslide

   C library for reading virtual slide images

   C

6. math-classes math-classes Public

   Forked from coq-community/math-classes

   A library of abstract interfaces for mathematical structures in Coq.

   Coq