Discover @jyp Open Source projects

Jean-Philippe Bernardy (@jyp)

jyp

Stars
1,126
Global Rank 26,375 (Top 1.0 %)
Followers 148
Registered over 15 years ago
Most used languages

Haskell
83.8 %

Emacs Lisp
16.2 %
Location 🇸🇪 Sweden
Country Total Rank 315
Country Ranking

Emacs Lisp
4

Haskell
7

dante

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

glpk-hs

Haskell bindings to glpk

topics

Various interesting topics I'm looking at

MarXup

Markup language on top of Haskell

emacs-semantics-theming

Foundation for building semantically meaningful themes over emacs

lp-diagrams

An EDSL for diagrams based based on linear constraints

lcr

Lightweight coroutines in elisp

ProbInfer

Material for the course

linear-smc

Linear Types, Symmetric Monoidal Categories, and Tensors

organ

hcad

Haskell library for CAD

ControlledFusion

inox

A language with linear types

lp-diagrams-svg

SVG backend for lp-diagrams

typography-geometry

Drawings for printed text documents

TTNameBinders

Adventures with names and binders in type-theory

whynote

Minimal Note Taking program

gasp

Another Haskell Prelude for Algebraic Classes and Structures

imbib

bibtex management functions and gui

Cake

Build system as a Haskell library

FOL

Minimal FOL prover

hgal

Haskell Graph Automorphism Library

polynomials-bernstein

Parsek

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

Generic-Programming-WIth-Dependent-Types

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

labeled-tree

Haskell labeled trees

sparse-matrix

sparse matrix represented as quad-tree

nnn

Not a Neural Network library

labeled-graph

Haskell Labeled Graph

nofib

cmap

emacs: do at point

dvi-processing

Processing of dvi files