Work with Git forges from the comfort of Magit

Emacs incremental completion and selection narrowing framework

Agda is a dependently typed programming language / interactive theorem prover.

Browser extension that simplifies the GitHub interface and adds useful features

Rudimentary Roam replica with Org-mode

Mathematical Components

Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

Emacs client/library for the Language Server Protocol

Terminal JSON viewer & processor

A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

Emacs libvterm integration

Displays the results of every line of code in your file

The Agda standard library

🏝️ corfu.el - COmpletion in Region FUnction

A document string minor mode

An introduction to programming language theory in Agda

Browser extension for rendering an isometric pixel art version of your GitHub contribution graph.

Language bundle for Emacs's tree-sitter package

Preview line when executing `goto-line` command

Emacs plugin aiming to become an aesthetic, modern looking tabs plugin

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

A collection of (mostly) technical things every software developer should know about

24 Lessons, 12 Weeks, Get Started as a Web Developer

Turn thousands of Org files into a database in seconds

agda-mode on VS Code

An axiom-free formalization of category theory in Coq for personal study and practical work

Emacs integration for Altassian's Jira. Support listing and filtering issues, showing their details, modifying some of their properties or adding worklogs.

UI integrations for lsp-mode

gerrit integration in emacs

Highlight Org-mode table columns and rows using colored overlays