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