Emacs extension for typographical editing

Emacs completion style that matches multiple regexps in any order

Emacs Mini-Buffer Actions Rooted in Keymaps

💫 vertico.el - VERTical Interactive COmpletion

🏝️ corfu.el - COmpletion in Region FUnction

🔍 consult.el - Search and navigate via completing-read

Claude Code IDE integration for Emacs

Production-grade engineering skills for AI coding agents.

The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello

Gnome extension to Set battery charging threshold / charging limit / charging mode Battery Health Charging: An extension to maximize the battery life of laptops by setting their charging threshold …

A Gnome extension featuring indicator icons in system tray, serving as meter for Bluetooth device battery levels and providing detailed battery levels via icon/text in the Bluetooth quick settings …

Flexible BFT consensus engine in Rust

The HTML Presentation Framework

Generic extensions for tapping values in Rust.

Offline / Local Search for Docusaurus v3. Try it live at:

A Hugo theme for documentation sites.

Asynchronous Programming in Rust

Declarative concurrency and stream processing library for Scala

Magical Deterministic Simulator for distributed systems in Rust.

Awesome Object Capabilities and Capability Security

Project Interaction Library for Emacs

It's Magit! A Git Porcelain inside Emacs.

High-performance asynchronous computation framework for system simulation

The Art of the Propagator. See also:

The go-to place for scalable decentralised consensus research

lotus, but also other things

A Privacy-first, Cross-platform Text Expander written in Rust

A use-package declaration for simplifying your .emacs

Reusable Golang library to provide functions to check the validity of abbreviations

Fast linters runner for Go