jyp Goto Github PK

algebra

constructive abstract algebra

attrap

ATtempt To Repair At Point (emacs flycheck extension)

bnfc

BNF Converter

boon

Ergonomic Command Mode for Emacs

cake

Build system as a Haskell library

citar

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

cmap

emacs: do at point

cnav

navigation to contextually relevant places

consult

consult.el - Consulting completing-read

controlledfusion

cubical

Implementation of Univalence in Cubical Sets

cubicaltt

dactyl-keyboard

Parameterized ergonomic keyboard

dante

dvi-processing

Processing of dvi files

elastic-modes

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

emacs-color-theme-solarized

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

emacs-semantics-theming

Foundation for building semantically meaningful themes over emacs

fol

Minimal FOL prover

gasp

Another Haskell Prelude for Algebraic Classes and Structures

generic-programming-with-dependent-types

A translation to Agda of the paper with the same title of Altenkirch et al.

glpk-hs

Haskell bindings to glpk

gtk2hs

GUI library for Haskell based on GTK+

hcad

Haskell library for CAD

hgal

Haskell Graph Automorphism Library

imbib

bibtex management functions and gui

inox

A language with linear types

jyp.github.io

keyv2

KeyV2: A Parametric Mechanical Keycap Library