日比野 啓 (Kei Hibino)

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-tiny-intro. Haskell

haskell-time-locale-compat. Compatibility of TimeLocale between old-locale and time-1.5

haskell-debian-build. Debian package build sequence tools

haskell-invertible-syntax-poly. Extends invertible-syntax library capable to use parameterized token type.

logic-examples. small examples of proof object programming

haskell-quickcheck-simple. Test properties and default-mains for QuickCheck

sfja-code. Codes for 'Software Foundations'

ideals-varieties-and-algorithms. Reading memo of Ideals Varieties and Algorithms

haskell-lazys. Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language.

pfds. Codes for the book "Purely Functional Data Structure"

haskell-th-reify-compat. Compatibility for the result type of TH reify

kazu-meeting. Codes for haskellers' meeting

haskell-text-ldap. Parser and Printer for LDAP text data stream

tapl. Codes for the book " Types and Programming Languages (TaPL)"

haskell-th-data-compat. Compatibility for data definition template of TH

haskell-invertible-syntax-parsec. Turn Parsec type into instance of invertible-syntax-poly.

haskell-th-bang-compat. Haskell

haskell-day-2018. HTML

dns-resolver. Haskell

haskell-invertible-syntax-attoparsec. Turn attoparsec Parser types into instance of invertible-syntax-poly.

haskell-bytestring-short. Backport copy of Data.ByteString.Short

haskell-data-handle. Haskell library to copy datas between file handle and string

haskell-local-address. Functions to get local interface address

haskell-CV-sample. Sample Codes using OpenCV

haskell-json-rpc-generic. Generic encoder and decode for JSON-RPC

caml-haskell. Haskell interpreter implementation challenge in OCaml

haskell-lfsr. Simple implementation of Linear Feedback Shift Register.

pshack. Codes for PostScript hands-on

CoPL-read. Coq

haskell-product-isomorphic. Haskell

caml-haskell2. Challenge to implement Programming Language Haskell in OCaml

haskell-beginner. Codes for haskell beginners' meeting

haskell-protocol-radius-test. testsuit of protocol-radius haskell package

lookup-mypaedia. MyPaedia support for lookup.el - import from mypaedia-fpw-package-1.0.7

haskell-protocol-radius. parser and printer for radius protocol packet

haskell-hspec-bracket. The bracket definitions for Hspec

ga-haskell-single-try. Shell

haskell-debian-build.rebuild. Debian package build sequence tools

mount-cgfs. Script to mount cgroup FS without systemd

haskell-cabal-test-compat. Compatibility interface of cabal test-suite.

haskell-aeson-generic-compat. Compatible generic class names of Aeson

haskell-hdbc-tool.201303. Stub generation against DB schema

haskell-th-constraint-compat. Compatibility for type constraint template

haskelldb-connect-hdbc. Bracketed HDBC session for HaskellDB

haskell-day-2012. Haskell day 2012-05-27 presentation.

icfpc-khibino.

pfds-read. meeting to read PFDS