Mathieu Boespflug (@mboes)
github

mboes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    87
  • Global Rank 229,741 (Top 8 %)
  • Followers 151
  • Following 19
  • Registered almost 16 years ago
  • Most used languages
    Haskell
         84.6 %
    OCaml
         7.7 %
    JavaScript
         7.7 %
  • Location 🇫🇷 France
  • Country Total Rank 5,632
  • Country Ranking
    Haskell
         27
    OCaml
         164
    JavaScript
         6,599

Top repositories

1

hmk

A pure Haskell implementation of Plan9's mk
Haskell
14
star
2

dedukti

A type-checker for the λΠ-modulo calculus.
Haskell
10
star
3

cassette

Define a parser. Play it in reverse to get a pretty printer.
Haskell
10
star
4

haskell-src-exts-qq

A quasiquoter for haskell-src-exts.
Haskell
9
star
5

zurihac15-talk-examples

Companion code for Zurihac'15 talk on Cloud Haskell
Haskell
7
star
6

choice

A solution to boolean blindness.
Haskell
6
star
7

coqine

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.
OCaml
5
star
8

vCard

A library for parsing/printing vCards from/to various formats.
Haskell
4
star
9

language-arm

Assembler and dissassembler for ARM in Haskell.
Haskell
4
star
10

nixos-docs-mockup

JavaScript
4
star
11

mime-directory

A library for parsing/printing the text/directory mime type.
Haskell
3
star
12

9ph

A pure Haskell implementation of the 9p protocol, server and client.
Haskell
3
star
13

asana-burndown

Burndown charts for Asana.
1
star
14

bug-ptr-not-in-spt

Haskell
1
star