John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 10:41:42 -04:00
Free and open source manga reader for Android
Updated 2024-07-21 17:33:14 -04:00
A web-based collaborative LaTeX editor
Updated 2024-07-19 04:05:05 -04:00
Simple Python version management
Updated 2024-07-05 21:44:35 -04:00
Updated 2024-01-01 23:35:17 -05:00
Free and open source manga reader for Android.
Updated 2024-06-08 12:23:58 -04:00
A youtube-dl fork with additional features and fixes
Updated 2024-07-18 16:43:31 -04:00
The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-06-01 01:24:35 -04:00