Mathieu Boespflug Mathieu Boespflug

Tracking 4.3K commits to 169 open source packages

Founder at @tweag.


Company: @tweag

Location: Paris, France

Repositories

mboes/choice
A solution to boolean blindness.
Haskell - BSD-3-Clause - Last pushed - 8 stars - 2 forks
mboes/hmk
A pure Haskell implementation of Plan9's mk
Haskell - GPL-3.0 - Last pushed - 11 stars - 3 forks
mboes/mime-directory
A library for parsing/printing the text/directory mime type.
Haskell - LGPL-3.0 - Last pushed - 2 stars - 2 forks
mboes/coqine
An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.
OCaml - LGPL-2.1 - Last pushed - 5 stars - 2 forks
mboes/vCard
A library for parsing/printing vCards from/to various formats.
Haskell - LGPL-3.0 - Last pushed - 2 stars
mboes/haskellx-2016-talk
Updated - 0 stars
See all Mathieu Boespflug's repositories

Repositories Contributed To

RyanGlScott/th-lift
Derive Template Haskell's Lift class for datatypes.
Haskell - Other - Last pushed - 14 stars - 17 forks
SkySkimmer/dedukti
A universal proof checker
OCaml - Other - Last pushed - 1 stars
song-ll/Unison
Haskell - Other - Last pushed - 0 stars
maximedenes/native-coq
Coq with native compilation, as well as machine integers and arrays !
OCaml - LGPL-2.1 - Last pushed - 38 stars - 8 forks
grahamc/notpkgs
lol
Nix - MIT - Last pushed - 0 stars
Azulinho/mynixpkgs
My own fork of nixpkgs
Nix - Last pushed - 0 stars
See all Mathieu Boespflug's contributions

Published Packages

choice
Please see README.md.
Latest release 0.2.4.1 - Updated - 8 stars
mime-directory
A library for parsing/printing the text/directory mime type.
Latest release 0.5.2 - Updated - 2 stars
hmk
A pure Haskell implementation of Plan9's mk
Latest release 0.9.7.4 - Updated - 11 stars
vcard
A library for parsing/printing vCards from/to various formats.
Latest release 0.1.4 - Updated - 2 stars
See all Mathieu Boespflug's packages

Last synced: 2016-12-17 10:35:06 UTC

Login to resync this page