Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

github/ magic

C 0 0

John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.

Updated 2017-10-20 10:41:42 -04:00

github/ mihon

Kotlin 0 0

Free and open source manga reader for Android

Updated 2024-10-15 09:14:52 -04:00

github/ overleaf

JavaScript 0 0

A web-based collaborative LaTeX editor

Updated 2024-10-17 04:07:25 -04:00

github/ pyenv

Roff 0 0

Simple Python version management

python shell

Updated 2024-10-17 11:47:39 -04:00

github/ repo2html

Scheme 0 0

Updated 2024-01-01 23:35:17 -05:00

github/ tachiyomi Archived

Kotlin 0 0

Free and open source manga reader for Android.

android hacktoberfest kotlin manga

Updated 2024-06-08 12:23:58 -04:00

github/ yt-dlp

Python 0 0

A youtube-dl fork with additional features and fixes

python sponskrub sponsorblock video-downloader youtube-dl youtube-dlc youtube-downloader yt-dlp

Updated 2024-10-15 23:53:53 -04:00

rairlab/ Spectra

Java 0 0

The Spectra Automated Planner for DCEC built on ShadowProver

automated-planning java

Updated 2024-06-01 01:24:35 -04:00