Nicolas Pouillard Nicolas Pouillard

Tracking 9.72K commits to 215 open source packages

«Type Theory Hacker»


Repositories

np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Haskell - BSD-3-Clause - Last pushed - 100 stars - 9 forks
np/patches-map
A library for patches (diffs) on maps: composable, mergeable and invertible
Haskell - Other - Last pushed - 2 stars - 1 forks
np/camllexer
An independant OCaml lexer, extracted from OCaml/Camlp4
OCaml - Other - Last pushed - 9 stars - 2 forks
np/names-for-free
TeX - Last pushed - 6 stars - 3 forks
np/hx
Bitcoin CLI tools: Haskell port of Sx using Haskoin
Shell - GPL-3.0 - Last pushed - 14 stars - 8 forks
np/agda-git-experiment
darcs-bridge experiment with Agda repository
Haskell - Other - Last pushed - 0 stars
See all Nicolas Pouillard's repositories

Repositories Contributed To

nojb/caml-list
Last pushed - 0 stars
chengsun/ocaml
ocaml compiler with experimental C backend
OCaml - Other - Last pushed - 0 stars - 1 forks
c-cube/ocaml-ty
Fork of ocaml-ty by Grégoire Henry (original url https://gitorious.org/ocaml-ty/)
OCaml - Other - Last pushed - 3 stars
nojb/riscv-ocaml
RISC-V port of the OCaml system
OCaml - LGPL-2.1 - Last pushed - 14 stars
sadiqj/ocaml-esp32
OCaml - Other - Last pushed - 9 stars - 1 forks
formrre/yi
Fork of Yi - The Haskell-Scriptable Editor
Haskell - GPL-2.0 - Last pushed - 0 stars
See all Nicolas Pouillard's contributions

Published Packages

agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 stars
tdoc
[Index] For package maintainers and hackage trustees
Latest release 0.4.7 - Updated - 3 stars
mbox-tools
A collection of tools to process mbox files
Latest release 0.2.0.4 - Updated - 4 stars
json-tools
A collection of JSON tools
Latest release 0.5.0 - Updated - 2 stars
hlatex
...
Latest release 0.3.1 - Updated - 4 stars
boolexpr
Boolean expressions with various representations and search queries.
Latest release 0.1 - Published - 3 stars
See all Nicolas Pouillard's packages

Most Used Packages

base
This package contains the Prelude and its support libraries, and a large collection of useful lib...
Latest release 4.12.0.0 - Updated
directory
This library provides a basic set of operations for manipulating files and directories in a porta...
Latest release 1.3.3.2 - Updated
mtl
Monad classes using functional dependencies, with instances for various monad transformers, inspi...
Latest release 2.2.2 - Updated - 134 stars
containers
This package contains efficient general-purpose implementations of various basic immutable contai...
Latest release 0.6.0.1 - Updated - 196 stars
transformers
A portable library of functor and monad transformers, inspired by the paper "Functional Programmi...
Latest release 0.5.5.0 - Updated
process
This package contains libraries for dealing with system processes.
Latest release 1.6.5.0 - Updated - 52 stars
See all Nicolas Pouillard's most used packages

Last synced: 2016-12-16 09:16:16 UTC

Login to resync this page