This website requires JavaScript.
Explore
Help
Sign in
Repositories
Users
Organizations
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 14:41:42 +00:00
github
/
mihon
Kotlin
0
0
Free and open source manga reader for Android
Updated
2024-11-23 07:46:28 +00:00
github
/
overleaf
JavaScript
0
0
A web-based collaborative LaTeX editor
Updated
2024-11-21 09:05:41 +00:00
github
/
pyenv
Roff
0
0
Simple Python version management
python
shell
Updated
2024-11-20 19:11:32 +00:00
github
/
repo2html
Scheme
0
0
Updated
2024-01-02 04:35:17 +00:00
github
/
tachiyomi
Archived
Kotlin
0
0
Free and open source manga reader for Android.
android
hacktoberfest
kotlin
manga
Updated
2024-06-08 16:23:58 +00: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-11-18 05:45:05 +00:00
rairlab
/
Spectra
Java
0
0
The Spectra Automated Planner for DCEC built on ShadowProver
automated-planning
java
Updated
2024-06-01 05:24:35 +00:00
First
Previous
1
2
3
Next
Last