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/ mihon

Kotlin 0 0

Free and open source manga reader for Android

Updated 2024-11-23 02:46:28 -05:00

brozek/ matmod

Python 0 0

Matrix Model Generator for Implicative Connectives

Updated 2024-11-26 16:26:05 -05: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-11-27 15:02:52 -05:00

github/ overleaf

JavaScript 0 0

A web-based collaborative LaTeX editor

Updated 2024-11-21 04:05:41 -05: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-08-14 16:57:22 -04:00

github/ pyenv

Roff 0 0

Simple Python version management

python shell

Updated 2024-11-20 14:11:32 -05: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 00:45:05 -05: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-11-21 14:00:36 -05: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