khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/
Tokyo, Japan
Pinned Repositories
haskell-debian-build
Debian package build sequence tools
haskell-invertible-syntax-parsec
Turn Parsec type into instance of invertible-syntax-poly.
haskell-invertible-syntax-poly
Extends invertible-syntax library capable to use parameterized token type.
haskell-quickcheck-simple
Test properties and default-mains for QuickCheck
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-time-locale-compat
Compatibility of TimeLocale between old-locale and time-1.5
haskell-tiny-intro
logic-examples
small examples of proof object programming
sfja-code
Codes for 'Software Foundations'
khibino's Repositories
khibino/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.
khibino/haskell-debian-build
Debian package build sequence tools
khibino/haskell-quickcheck-simple
Test properties and default-mains for QuickCheck
khibino/haskell-th-data-compat
Compatibility for data definition template of TH
khibino/haskell-th-reify-compat
Compatibility for the result type of TH reify
khibino/dns-resolver
khibino/haskell-json-rpc-generic
Generic encoder and decode for JSON-RPC
khibino/haskell-product-isomorphic
khibino/haskell-th-bang-compat
khibino/haskell-aeson-generic-compat
Compatible generic class names of Aeson
khibino/haskell-protocol-radius
parser and printer for radius protocol packet
khibino/haskell-protocol-radius-test
testsuit of protocol-radius haskell package
khibino/haskell-th-constraint-compat
Compatibility for type constraint template
khibino/ADwH-read-pub
khibino/agda
Agda is a dependently typed programming language / interactive theorem prover.
khibino/cabal-debian
Create a Debianization by examining a .cabal file.
khibino/dns
DNS libary in Haskell
khibino/DNS-onsen
DNS onsen presentations
khibino/dnsext
Types for Extensible DNS libraries which are written purely in Haskell
khibino/haskell-quic
IETF QUIC library in Haskell
khibino/hhp
Happy Haskell Programming
khibino/IF-tut-read
khibino/khibino.github.io
khibino/network
Low-level networking interface
khibino/playground-ffi-libssh
libssh something with Haskell FFI
khibino/ProofGeneral-PG
clone of Proof General repo
khibino/psqueues-ext
Priority Search Queues in three different flavors for Haskell, with ord extension
khibino/raven-haskell
khibino/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
khibino/wai
Haskell Web Application Interface