Popular repositories Loading

1. s7 s7 Public

   s7 Scheme

   Scheme 68 8

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 45 31

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 28 15

4. quark quark Public

   A Web Browser with a Formally Verified Kernel

   C 24 5

5. wmctrl wmctrl Public

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

   C 21 4

6. CACKey CACKey Public

   PKCS#11 middleware for CAC/PIV smartcards

   C 20 9