Skip to content

@Conservatory The Conservatory

Change the repository type filter

All

    Repositories list

    14 repositories

    • conservatory.github.io

      Public
      The Conservatory's own web pages, and issue queue for submissions.
      Python
      •
      GNU Affero General Public License v3.0
      •3•0•0•0•Updated Nov 13, 2019Nov 13, 2019

    • s7

      Public
      s7 Scheme
      Scheme
      •7•54•2•0•Updated Mar 18, 2019Mar 18, 2019

    • dcled

      Public
      Driver for Dream Cheeky USB LED message board. Home page: https://www.last-outpost.com/~malakai/dcled/
      C
      •4•4•0•1•Updated Sep 13, 2018Sep 13, 2018

    • wmctrl

      Public
      Unix command-line tool to interact with an EWMH/NetWM-compatible X Window Manager. See home site for upstream information.
      C
      •
      GNU General Public License v2.0
      •3•15•1•1•Updated Sep 10, 2018Sep 10, 2018

    • afl

      Public
      American Fuzzy Lop, a security-oriented software fuzzer. Home page: http://lcamtuf.coredump.cx/afl/
      C
      •3•0•0•1•Updated Jun 9, 2018Jun 9, 2018

    • MHonArc

      Public
      MHonArc mail-to-HTML converter. See https://www.mhonarc.org/ for upstream information.
      Perl
      •
      GNU General Public License v2.0
      •4•4•0•0•Updated Jan 15, 2018Jan 15, 2018

    • CACKey

      Public
      PKCS#11 middleware for CAC/PIV smartcards
      C
      •
      Other
      •9•18•3•0•Updated Jun 29, 2017Jun 29, 2017

    • openstv

      Public
      Latest open source version of OpenSTV voting software, which was GPL'd until going proprietary in mid-2011 (apparently after 1.7).
      Python
      •33•27•0•0•Updated May 30, 2017May 30, 2017

    • mboxstats

      Public
      mboxstats -- see http://www.vanheusden.com/mboxstats/
      C++
      •
      Other
      •1•2•0•0•Updated Oct 17, 2014Oct 17, 2014

    • MailListStats

      Public
      MailListStats -- see http://www.marki-online.net/MLS/
      C
      •
      GNU General Public License v2.0
      •1•1•0•0•Updated Dec 9, 2013Dec 9, 2013

    • Healthcare.gov-Marketplace

      Public
      Community-driven fixes to healthcare.gov's unstable marketplace.
      JavaScript
      •30•0•0•0•Updated Nov 17, 2013Nov 17, 2013

    • healthcare.gov-2013-10-01

      Public
      Lifeboat for https://github.com/CMSgov/healthcare.gov as of 1 Oct 2013.
      CSS
      •
      Other
      •32•44•0•0•Updated Oct 22, 2013Oct 22, 2013

    • quark

      Public
      A Web Browser with a Formally Verified Kernel
      C
      •
      Other
      •5•24•0•0•Updated Sep 8, 2013Sep 8, 2013

    • nenscript

      Public
      nenscript: a public domain converter from ASCII text to PostScript.
      C
      •1•1•0•0•Updated Jul 12, 2013Jul 12, 2013