Jean-Philippe Bernardy

dante. Emacs Lisp

boon. Ergonomic Command Mode for Emacs

styx. A nix-based Haskell project manager

nano-Agda. Tiny type-checker with dependent types

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

prettiest. The Prettiest Printer

sctt. Type-Theory in Sequent Calculus

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

glpk-hs. Haskell bindings to glpk

topics. Various interesting topics I'm looking at

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

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

ProbInfer. Material for the course

hcad. Haskell library for CAD

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

organ. Haskell

TTNameBinders. Adventures with names and binders in type-theory

typography-geometry. Drawings for printed text documents

whynote. Minimal Note Taking program

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

ControlledFusion. Haskell

inox. A language with linear types

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

gasp. Another Haskell Prelude for Algebraic Classes and Structures

imbib. bibtex management functions and gui

FOL. Minimal FOL prover

hgal. Haskell Graph Automorphism Library

cmap. emacs: do at point

Cake. Build system as a Haskell library

polynomials-bernstein. Haskell

dactyl-keyboard. Parameterized ergonomic keyboard

yak. Yet Another Keyboard Model

python-ht25. live coding results

cubical. Implementation of Univalence in Cubical Sets

nofib. Haskell