profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/mboes/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Mathieu Boespflug mboes @tweag Paris, France Founder at @tweag.

mboes/dedukti 11

A type-checker for the λΠ-modulo calculus.

mboes/cassette 9

Define a parser. Play it in reverse to get a pretty printer.

mboes/choice 5

A solution to boolean blindness.

mboes/9ph 3

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

mboes/coqine 3

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

haskell-streaming/streaming-binary 2

Incremental serialization and deserialization of Haskell values.

mboes/funsat 2

An efficient, embeddable DPLL SAT solver in Haskell

alpmestan/xe 1

Command-line access to xe.com

mboes/asana-burndown 1

Burndown charts for Asana.

issue commenttweag/nickel

Change file extension

I don't think clashing file extensions are a problem per say. Case in point: there are currently four separate entries registered in Linguist's language.yaml for the .ncl extension. Nickel would just add a fifth. Another example would be both Perl and Prolog using the .pl extension. Arguably, the intersection of NACL users and Nickel users is even smaller than the intersection of Perl and Prolog users. GitHub does not use file extensions exclusively as the way to determine which language appears in a given file. In fact it's not even the first strategy. See here. However, if we do stick to .ncl then we indeed should make a PR against github/linguist to make detection of Nickel more accurate.

.ncl can stand for Nickel as well as for Nickel Configuration Language or Nix Configuration Language. The "cl" part is quite nice to have in the name.

enderger

comment created time in 3 months