jyp

dante

boon

Ergonomic Command Mode for Emacs

attrap

ATtempt To Repair At Point (emacs flycheck extension)

prettiest

The Prettiest Printer

glpk-hs

Haskell bindings to glpk

emacs-semantics-theming

Foundation for building semantically meaningful themes over emacs

MarXup

Markup language on top of Haskell

elastic-modes

spaceship-mode and tabble-mode: text/code alignment for variable-width fonts

lp-diagrams

An EDSL for diagrams based based on linear constraints

lcr

Lightweight coroutines in elisp

linear-smc

Linear Types, Symmetric Monoidal Categories, and Tensors

ProbInfer

Material for the course

hcad

Haskell library for CAD

ControlledFusion

FOL

Minimal FOL prover

gasp

Another Haskell Prelude for Algebraic Classes and Structures

imbib

bibtex management functions and gui

python-vt24

vt24 demos

cmap

emacs: do at point

PaperTools

paper writing tools

citar

Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.

cnav

navigation to contextually relevant places

consult

consult.el - Consulting completing-read

jyp.github.io

mDNSResponder-client

Haskell client for mDNSResponder

mqtt2hue

Provide hue hub functionality for devices available via MQTT

network-msg

Haskell sendmsg/recvmsg bindings.

ProbProg

Gibbs sampling implementation of probability monad

use-package

A use-package declaration for simplifying your .emacs

yak

Yet Another Keyboard Model