Nicolas Pouillard

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. TeX

mbox-tools. A collection of command line tools on the mbox format

hlatex. LaTeX document builder for Haskell

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

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

servant-job. Job API in Haskell Servant

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

xcompose. XCompose configuration file and its generator

NomPa. Agda

guarded-recursion. Guarded recursion in Agda

json-tools. A collection of JSON tools

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

bitcoin. Bitcoin integration/staging tree

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

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

wordcloud. Haskell library which makes word/tag clouds.

MadCatz. Tools for configuring and using saitek devices

agda-parametricity. Deriving parametricity results in Agda: "theorems for free"

codec-mbox. An Haskell library to read and write mailboxes in mbox format

hasquail. Quail in Haskell

qlen. Haskell

cufp-metaprogramming-tutorial. OCaml

heliotrope. a lightweight, search-centric, document-tree store

agda-pkg. A simple tool to emulate packages in Agda

bashing-twitter. Twitter tools written in bash

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

Image-type. Gets type of image.

nix-on-droid. Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

haskell-flake. A `flake-parts` Nix module for Haskell development

geconomicus. Tools and simulation for the game Ğeconomicus

vscode-remote-workaround. VSCode remote development workaround for NixOS(-WSL)

2048. The 2048 game as a puerly functional program in Haskell

n8n-nodes-neo4j. N8N node to work with your data in Neo4j Vector Store

filesize-parser. convert human readable filesizes to their byte equivalent

bitcore-docker. A small and lightweight Docker image of Bitcore Wallet Service

code. Fast, effective, mind-blowing, coding CLI. Browser integration, multi-agents, theming, and reasoning control. Orchestrate agents from OpenAI, Claude, Gemini or any provider.

airtame-nixos. Nix package for AIRTAME (binary version)

docker-bitcore-node. Docker recipe for bitcore-node

habs. PHP

sshuttle. Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

nested-agda. Agda

zsh-conf. Zsh configuration files

yi. The Haskell-Scriptable Editor

git-annex. a mirror of git-annex's main git repository

Tomb. the Crypto Undertaker

agda-git-experiment. darcs-bridge experiment with Agda repository