Explore projects
-
Heavily Modified Fork of the MediaWiki Comments extension that allows users to comment on pages
Updated -
Simplified Fork of the Favorites MediaWiki extension allowing users to select favorite pages
Updated -
MediaWiki extension to allow users to emulate groups
Updated -
OTS's web property
Updated -
Modern autofill behavior for email addresses in Emacs.
Updated -
An open source encryption program that uses the "one-time pad" method. See https://red-bean.com/onetime/.
Updated -
-
Document-writing infrastructure for OTS (mostly LaTeX support).
Updated -
Collaborative editing using Conflict-free Replicated Data Types
Updated -
A mediawiki plugin to add a scoring rubric to pages, which are then tallied up.
Updated -
LabelNation is a free software command-line tool for making address labels, business cards, or anything else involving regularly-arranged rectangles on a printer-ready sheet. It is written in Python 3. See https://red-bean.com/labelnation/.
Updated -
LabelNation is a free software command-line tool for making address labels, business cards, or anything else involving regularly-arranged rectangles on a printer-ready sheet. It is written in Python 3. See https://red-bean.com/labelnation/.
Updated -
Collaborative editing using Conflict-free Replicated Data Types
Updated -
Updated
-
Personal mirror of http://git.savannah.gnu.org/cgit/emacs.git/.
Updated -
LabelNation is a free software command-line tool for making address labels, business cards, or anything else involving regularly-arranged rectangles on a printer-ready sheet. It is written in Python 3. See https://red-bean.com/labelnation/.
Updated -
Collaborative editing using Conflict-free Replicated Data Types
Updated -
Updated
-
A MediaWiki skin that is empty, showing only the base content of the page
Updated -
MediaWiki extension to allow users to pick some wiki pages that show up in a global list
Updated