Repositories Users Organizations
Filter
Sort
github/ mihon
Kotlin 0 0
Free and open source manga reader for Android
Updated 2024-07-21 17:33:14 -04:00
brozek/ matmod
Python 0 0
Matrix Model Generator for Implicative Connectives
Updated 2024-06-23 23:02:53 -04:00
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/ hedgedoc
TypeScript 0 0
HedgeDoc - Ideas grow better together
hacktoberfest codimd collaboration hedgedoc markdown notes real-time
Updated 2024-07-25 18:48:06 -04:00
github/ overleaf
JavaScript 0 0
A web-based collaborative LaTeX editor
Updated 2024-07-19 04:05:05 -04:00
brozek/ wordguess
Python 0 0
Pubnix word guessing game
Updated 2024-01-07 21:24:51 -05:00
github/ repo2html
Scheme 0 0
Updated 2024-01-01 23:35:17 -05: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
brozek/ php-workflow
Shell 0 0
Updated 2016-07-13 00:04:18 -04:00
brozek/ Fractions.js
JavaScript 0 0
Updated 2015-12-22 00:42:56 -05:00
brozek/ Rozbot
JavaScript 0 0
Updated 2016-08-18 17:18:48 -04: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/ diceware
JavaScript 0 0
Generate secure passwords you can actually remember!
bootstrap diceware password password-generator security web
Updated 2024-03-13 20:35:57 -04:00
github/ pyenv
Roff 0 0
Simple Python version management
python shell
Updated 2024-07-21 00:02:45 -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-07-25 18:30:00 -04:00
github/ hugo
Go 0 0
The world’s fastest framework for building websites.
blog-engine cms content-management-system documentation-tool go hugo static-site-generator
Updated 2024-07-23 14:46:05 -04:00
brozek/ ReinforcementLearning
0 0
Updated 2023-11-09 23:53:44 -05:00
brozek/ DeepRL Archived
Jupyter Notebook 0 0
Further explorations into Reinforcement learning with Deep Learning Networks
Updated 2023-11-09 23:53:37 -05:00
brozek/ dockeraur
Python 0 0
Downloading applications from the AUR using Docker
Updated 2023-11-09 23:53:28 -05:00
brozek/ py-hackrf-ctypes
Python 0 0
A Python wrapper for libhackrf
Updated 2023-11-09 23:53:13 -05:00