Discover @np Open Source projects

Nicolas Pouillard (@np)

np

Stars
236
Global Rank 108,144 (Top 4 %)
Followers 139
Following 15
Registered over 16 years ago
Most used languages

Haskell
62.9 %

Shell
14.3 %

Agda 11.4 %

TeX
2.9 %

Nix
2.9 %

OCaml
2.9 %

Vim Script
2.9 %
Location 🇫🇷 France
Country Total Rank 2,819
Country Ranking

Agda 3

Haskell
12

Nix
110

OCaml
114

TeX
180

Vim Script
558

Shell
691

ling

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

hx

Bitcoin CLI tools: Haskell port of Sx using Haskoin

camllexer

An independant OCaml lexer, extracted from OCaml/Camlp4

names-for-free

mbox-tools

A collection of command line tools on the mbox format

boolexpr

Haskell library for Boolean expressions with various representations and search queries.

strict-io

A thin layer on top standard IO modules like System.IO and Data.IORef that re-expose strict functions using the SIO monad

hlatex

LaTeX document builder for Haskell

servant-job

Job API in Haskell Servant

tdoc

TDoc is a typed document builder with support for (X)HTML

guarded-recursion

Guarded recursion in Agda

mime-bytestring

A for of the mime haskell package to work on bytestrings as well

NomPa

patches-map

A library for patches (diffs) on maps: composable, mergeable and invertible

wordcloud

Haskell library which makes word/tag clouds.

hxmppc

Haskell XMPP (Jabber Client) Command Line Interface (CLI)

bashing-twitter

Twitter tools written in bash

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

qlen

json-tools

A collection of JSON tools

codec-mbox

An Haskell library to read and write mailboxes in mbox format

agda-pkg

A simple tool to emulate packages in Agda

hasquail

Quail in Haskell

frquotes

Translate the French-Quotes in a UTF-8 Haskell file into a Quasi-Quotation that can be instantiated later on.

umm

UMM: A small command-line accounting tool [continuing Uwe Hollerbach's work]

xcompose

XCompose configuration file and its generator

2048

The 2048 game as a puerly functional program in Haskell

hack-handler-hyena

hack handler hyena

nested-agda

geconomicus

Tools and simulation for the game Ğeconomicus

agda-git-experiment

darcs-bridge experiment with Agda repository

zsh-conf

Zsh configuration files

airtame-nixos

Nix package for AIRTAME (binary version)

vim-conf

csv-nptools

A collection of CSV tools

docker-bitcore-node

Docker recipe for bitcore-node

crypto-agda