GitHub

@np

np

Follow

View np's full-sized avatar

Nicolas Pouillard np

«Type Theory Hacker»

Highlights

  • Pro

Organizations

@crypto-agda @demtech

Block or report np

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ling ling Public

    LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

    Haskell 109 11

  2. camllexer camllexer Public

    An independant OCaml lexer, extracted from OCaml/Camlp4

    OCaml 13 2

  3. hx hx Public

    Bitcoin CLI tools: Haskell port of Sx using Haskoin

    Shell 13 9

  4. names-for-free names-for-free Public

    TeX 9 3

  5. hlatex hlatex Public

    LaTeX document builder for Haskell

    Haskell 7

  6. mbox-tools mbox-tools Public

    A collection of command line tools on the mbox format

    Haskell 7

Read the original on github.com ↗