Popular repositories

1. s7 s7 Public

   s7 Scheme

   Scheme 46 7

2. healthcare.gov-2013-10-01 healthcare.gov-2013-10-01 Public

   Lifeboat for https://github.com/CMSgov/healthcare.gov as of 1 Oct 2013.

   CSS 44 32

3. openstv openstv Public

   Forked from OpenTechStrategies/openstv

   Latest open source version of OpenSTV voting software, which was GPL'd until going proprietary in mid-2011 (apparently after 1.7).

   Python 24 16

4. quark quark Public

   A Web Browser with a Formally Verified Kernel

   C 23 5

5. CACKey CACKey Public

   PKCS#11 middleware for CAC/PIV smartcards

   C 18 9

6. wmctrl wmctrl Public

   Unix command-line tool to interact with an EWMH/NetWM-compatible X Window Manager. See home site for upstream information.

   C 13 3