egraphs + datalog!

a datastructure for scalable combinatorial syntax

string diagrams for the working programmer

The Python toolkit for computing with string diagrams.

Better configuration for less

(early experiments toward) a version-control system for structured data

Graph specification processor language in PureScript

Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

Haskell library for doing category theory with a central role for profunctors

String diagram visualiser

Display a waveform and use it to navigate

Qwerty consistent hebrew, arabic, phoenician and russian keymaps

Reshape Arabic characters in Emacs

A web frontend for your Org-files (100% faithful to GNU+Emacs!)

fast, friendly searching with ripgrep and Emacs

fast, friendly searching with ripgrep and Emacs

Emacs support for easy access to GitHub Codespaces.

Emacs side frames

Emacs support for working with MOS 6502 assembly files using https://github.com/datatrash/mos. Utilizes lsp-mode and dap-mode

An assembler, code formatter, language server and debug adapter for the MOS 6502 CPU.

org-hyperscheduler is an Emacs package that helps you organize your day.

Aggregates tables in Org mode

a datalog interpreter in typescript

Parametric nullables.

The SheafSystem™ suite of data representation and management tools is based on our patented sheaf data model. The SheafSystem™ uses advanced mathematics - posets, lattices, sheaves, and fiber bundl…

Haskell embedding of PlusCal

A syntax-highlighting pager for git, diff, grep, and blame output

SyncedStore CRDT is an easy-to-use library for building live, collaborative applications that sync automatically.

An extensible emacs dashboard