Discover @jyp Open Source projects

Jean-Philippe Bernardy (@jyp)

jyp

Stars
1,126
Global Rank 27,306 (Top 1.0 %)
Followers 148
Registered about 16 years ago
Most used languages

Haskell
81.6 %

Emacs Lisp
15.8 %

Python
2.6 %
Location 🇸🇪 Sweden
Country Total Rank 315
Country Ranking

Emacs Lisp
4

Haskell
8

Python
3,525

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

FOL

Minimal FOL prover

gasp

Another Haskell Prelude for Algebraic Classes and Structures

imbib

bibtex management functions and gui

hgal

Haskell Graph Automorphism Library

polynomials-bernstein

Cake

Build system as a Haskell library

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

python-ht24

live coding results