Stars
video player for Android based on libmpv ↦ #mpv-android @ irc.libera.chat
A simple implementation of Git Checkpoints for Jupyter Notebook geared toward use with JupyterHub
Next-generation, most hackable, Emacs pdf-reader using pymupdf via epc
Anki flash card deck for learning UK administrative geography
Powerful and highly extensible command-line based document and bibliography manager.
A browser extension providing access to the lists of solutions to the translation / listening challenges on Duolingo, and restoring the correction of typos for listening challenges.
girst / uMatrix
Forked from gorhill/uMatrixuMatrix: Point and click matrix to filter net requests according to source, destination and type
A broad family of utilities for organising files based on hierarchical tagging, from web server to a computer vision dataset creation pipeline.
An editing environment for LaTeX mathematical documents
Automated Anki flashcard creation and extraction to/from Csv
An Anki deck for COVID-19 information for the general public
View Org buffers as a clickable, graphical mind-map
Firefox addon for Android. Allows to export tabs' URLs to a text file
Interactive subtitles for mpv. Instantly translate selected word/sentence.
Thisi is a add-on for Firefox for Android
A browser extension that captures web pages to local device or backend server for future retrieval, organization, annotation, and edit. This project inherits from legacy Firefox add-on ScrapBook X.
Browser extension to support Web Annotation Selectors in URIs
An Android app to remap the buttons on your devices
Add cloze deletions to any existing Anki notes without any modification to Anki
DOCT: Declarative Org Capture Templates for Emacs
Firefox extension to open external links in a specific container