Jean-Philippe Bernardy

dante. Emacs Lisp

399

boon. Ergonomic Command Mode for Emacs

380

styx. A nix-based Haskell project manager

168

nano-Agda. Tiny type-checker with dependent types

78

attrap. ATtempt To Repair At Point (emacs flycheck extension)

45

prettiest. The Prettiest Printer

35

sctt. Type-Theory in Sequent Calculus

14

emacs-semantics-theming. Foundation for building semantically meaningful themes over emacs

14

glpk-hs. Haskell bindings to glpk

13

topics. Various interesting topics I'm looking at

13

linear-smc. Linear Types, Symmetric Monoidal Categories, and Tensors

13

MarXup. Markup language on top of Haskell

12

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

11

lp-diagrams. An EDSL for diagrams based based on linear constraints

8

lcr. Lightweight coroutines in elisp

7

ProbInfer. Material for the course

5

hcad. Haskell library for CAD

4

Parsek. The Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes

4

organ. Haskell

4

TTNameBinders. Adventures with names and binders in type-theory

3

typography-geometry. Drawings for printed text documents

3

whynote. Minimal Note Taking program

3

lp-diagrams-svg. SVG backend for lp-diagrams

3

ControlledFusion. Haskell

3

inox. A language with linear types

3

python-courses-exams. Repository of old exams for introductory programming courses at CSE/Chalmers

3

gasp. Another Haskell Prelude for Algebraic Classes and Structures

2

imbib. bibtex management functions and gui

2

FOL. Minimal FOL prover

2

hgal. Haskell Graph Automorphism Library

2

cmap. emacs: do at point

2

Cake. Build system as a Haskell library

2

polynomials-bernstein. Haskell

2

dactyl-keyboard. Parameterized ergonomic keyboard

2

yak. Yet Another Keyboard Model

1

python-ht25. live coding results

1

cubical. Implementation of Univalence in Cubical Sets

1

nofib. Haskell

1