np/agda-pkg

Stars
2
Language
Shell
License
BSD 3-Clause "New...
Created about 11 years ago
Updated over 9 years ago

np/agda-pkg

np

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A simple tool to emulate packages in Agda

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

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