Jean-Philippe Bernardy

icon company University of Gothenburg icon location Göteborg, Sweden

Results 6 repositories owned by Jean-Philippe Bernardy
trafficstars

attrap

41
Stars
7
Forks
Watchers

ATtempt To Repair At Point (emacs flycheck extension)

verified publisher icon jyp

boon

313
Stars
34
Forks
Watchers

Ergonomic Command Mode for Emacs

verified publisher icon jyp

dante

382
Stars
50
Forks
Watchers

verified publisher icon jyp

nano-Agda

74
Stars
8
Forks
Watchers

Tiny type-checker with dependent types

verified publisher icon jyp

prettiest

34
Stars
6
Forks
Watchers

The Prettiest Printer

verified publisher icon jyp

styx

160
Stars
20
Forks
Watchers

A nix-based Haskell project manager

verified publisher icon jyp