日比野 啓 (Kei Hibino)'s repositories
haskell-relational-record
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
haskell-debian-build
Debian package build sequence tools
haskell-quickcheck-simple
Test properties and default-mains for QuickCheck
haskell-text-ldap
Parser and Printer for LDAP text data stream
haskell-th-data-compat
Compatibility for data definition template of TH
haskell-th-reify-compat
Compatibility for the result type of TH reify
haskell-json-rpc-generic
Generic encoder and decode for JSON-RPC
haskell-aeson-generic-compat
Compatible generic class names of Aeson
haskell-th-constraint-compat
Compatibility for type constraint template
agda
Agda is a dependently typed programming language / interactive theorem prover.
cabal-debian
Create a Debianization by examining a .cabal file.
dns
DNS libary in Haskell
DNS-onsen
DNS onsen presentations
dnsext
Types for Extensible DNS libraries which are written purely in Haskell
haskell-text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
hhp
Happy Haskell Programming
network
Low-level networking interface
playground-ffi-libssh
libssh something with Haskell FFI
ProofGeneral-PG
clone of Proof General repo
psqueues-ext
Priority Search Queues in three different flavors for Haskell, with ord extension
stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
wai
Haskell Web Application Interface