Popular repositories Loading

1. acl2 acl2 Public

   Forked from acl2/acl2

   ACL2 System and Books as Maintained by the Community

   Common Lisp

2. irssi2energymech irssi2energymech Public

   Convert my irssi logs to energymech for use with ZNC

   Perl

3. nyc-elseif-bug nyc-elseif-bug Public

   Bug for reporting an elseif issue to istanbuljs

   JavaScript

4. epidemic-tracker epidemic-tracker Public

   My "statistical analysis" and plotting scripts for Austin/Travis coronavirus.

   Scheme

5. triptych triptych Public

   Perl

6. trainbot trainbot Public

   Forked from lexande/trainbot

   silly IRC bot

   Python