Emacs Plus formulae for the Homebrew package manager

My Emacs configuration, literately 😄

Browser extension that simplifies the GitHub interface and adds useful features

Language bundle for Emacs's tree-sitter package

A static site generator using org-mode

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

The Agda standard library

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

Modular in-buffer completion framework for Emacs

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

KeyCastr, an open-source keystroke visualizer

My dotfiles

A fancy and fast mode-line inspired by minimalism design.

The HTML Presentation Framework

Emacs incremental completion and selection narrowing framework

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

Emacs Lisp bindings for tree-sitter

Structured Editing and Navigation in Emacs with Tree-Sitter

An introduction to programming language theory in Agda

agda-mode on VS Code

Mathematical Components

Show flycheck errors via posframe.el

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Work with Git forges from the comfort of Magit

gerrit integration in emacs

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

Display information and trivia about numbers

Emacs client/library for the Language Server Protocol

Repository for the GIFs for GitHub Chrome & Firefox Extension

parse org-mode content into AST