The Conservatory

The Conservatory's repositories

s7 Scheme

Language:Scheme51 15 3

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

Language:CSSNOASSERTION44 220

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

Language:Python26 70

A Web Browser with a Formally Verified Kernel

Language:CNOASSERTION23 40

PKCS#11 middleware for CAC/PIV smartcards

Language:CNOASSERTION18 16 3

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

Language:CGPL-2.014 9 1

Driver for Dream Cheeky USB LED message board. Home page: https://www.last-outpost.com/~malakai/dcled/

Language:C4 120

MHonArc mail-to-HTML converter. See https://www.mhonarc.org/ for upstream information.

Language:PerlGPL-2.04 100

mboxstats -- see http://www.vanheusden.com/mboxstats/

Language:C++NOASSERTION2 12 1

MailListStats -- see http://www.marki-online.net/MLS/

Language:CGPL-2.01 120

nenscript: a public domain converter from ASCII text to PostScript.

Language:C1 30

American Fuzzy Lop, a security-oriented software fuzzer. Home page: http://lcamtuf.coredump.cx/afl/

Language:C0110

The Conservatory's own web pages, and issue queue for submissions.

Language:PythonAGPL-3.0070

Community-driven fixes to healthcare.gov's unstable marketplace.

Language:JavaScript0110