Matrix Model Generator for Implicative Connectives
Updated 2024-05-12 13:03:28 -04:00
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 10:41:42 -04:00
HedgeDoc - Ideas grow better together
Updated 2024-05-17 21:46:28 -04:00
A web-based collaborative LaTeX editor
Updated 2024-05-17 04:05:19 -04:00
Updated 2024-01-01 23:35:17 -05:00
The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-03-29 17:43:34 -04:00
Updated 2016-07-13 00:04:18 -04:00
Updated 2015-12-22 00:42:56 -05:00
Updated 2016-08-18 17:18:48 -04:00
Free and open source manga reader for Android.
Updated 2024-01-13 14:01:49 -05:00
Generate secure passwords you can actually remember!
Updated 2024-03-13 20:35:57 -04:00
A youtube-dl fork with additional features and fixes
Updated 2024-05-16 18:41:34 -04:00
The world’s fastest framework for building websites.
Updated 2024-05-16 04:04:52 -04:00
Updated 2023-11-09 23:53:44 -05:00
brozek / DeepRL
Archived
Further explorations into Reinforcement learning with Deep Learning Networks
Updated 2023-11-09 23:53:37 -05:00
Downloading applications from the AUR using Docker
Updated 2023-11-09 23:53:28 -05:00
A Python wrapper for libhackrf
Updated 2023-11-09 23:53:13 -05:00
brozek / SLOTH
Archived
An imperative style programming language originally based on the SLOTH programming language. Somewhat morphing into a different style as time goes on.
Updated 2023-11-09 23:53:06 -05:00