uni-ball Jetstream SXN-210 uniball.co.uk ↗

Obtainium ↗Dev tools

An Android app that installs and updates apps directly from their release sources.

constantSorrow ↗Frameworks & libraries

A semi-joking Python library for sentinel and special-value constants.

TaxCalcBench ↗AI & ML

An open benchmark from Column Tax for evaluating AI models on tax calculations.

NIST Small Business Cybersecurity Corner ↗Security & privacy

NIST's portal of cybersecurity resources aimed at small businesses.

EPublish ↗Productivity

A tool that builds EPUB files from HTML.

Neuma ↗Productivity

A third-party iOS keyboard that does not send data anywhere.

integer-mult-bounds-lean ↗Other

A Lean formalization of sub-n log n integer multiplication bounds on Mathlib's TM2 machine model.

SoftMaker Office ↗Productivity

A commercial, locally installed office suite compatible with Microsoft formats.

LibreOffice ↗

A free, open-source desktop office suite.

Pandoc ↗

A command-line universal document converter.

Typst ↗

A markup-based typesetting system that compiles to PDF.

Hammerspoon ↗

A Lua-scriptable automation tool for macOS.

Nextcloud ↗

A self-hosted collaboration and file-sharing platform.

Obsidian

A Markdown-based note-taking and knowledge management app.

OnlyOffice ↗

Office suite with Microsoft-format compatibility and a ribbon-style interface.

Org mode ↗

An Emacs major mode for notes, outlines, agendas and task tracking in plain text.

Zulip ↗

An open-source threaded team chat application.

smalldocs ↗

A tool that lets AI agents create rich documents, slides, spreadsheets and diagrams.

Alfred ↗

A keyboard-driven launcher and productivity app for macOS.

AltSnap ↗

A Windows utility for moving and resizing windows with a modifier key plus mouse drag.