Mathieu Boespflug
@mboesLanguage Breakdown
Lines of code distribution across 22 owned repositories
Generalist Developer
G-shapedVersatile across many languages and paradigms
Collaboration Network
Global Impact visualization
Repos
25
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Stephen Diehl
@sdiehl
Carter Tazio Schonwald
@cartazio
Ollie Charles
@ocharles
Bryan O'Sullivan
@bos
Edward Kmett
@ekmett
Top Repositories
A pure Haskell implementation of Plan9's mk
Define a parser. Play it in reverse to get a pretty printer.
A solution to boolean blindness.
A quasiquoter for haskell-src-exts.
A type-checker for the λΠ-modulo calculus.
Companion code for Zurihac'15 talk on Cloud Haskell
An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.
A library for parsing/printing vCards from/to various formats.
Assembler and dissassembler for ARM in Haskell.
Open Source Impact
Contributions to external projects
