Discover khibino/haskell-product-isomorphic Open Source project

Compatibility of TimeLocale between old-locale and time-1.5

234

haskell-time-locale-compat

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

haskell-invertible-syntax-poly

Debian package build sequence tools

haskell-debian-build

small examples of proof object programming

logic-examples

haskell-tiny-intro

Test properties and default-mains for QuickCheck

haskell-quickcheck-simple

Codes for 'Software Foundations'

sfja-code

Compatibility for the result type of TH reify

haskell-th-reify-compat

Parser and Printer for LDAP text data stream

haskell-text-ldap

Compatibility for data definition template of TH

haskell-th-data-compat

Codes for the book "Purely Functional Data Structure"

pfds

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

haskell-invertible-syntax-parsec

Codes for haskellers' meeting

kazu-meeting

Reading memo of Ideals Varieties and Algorithms

ideals-varieties-and-algorithms

HTML

tapl

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

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

haskell-lazys

Sample Codes using OpenCV

haskell-CV-sample

Backport copy of Data.ByteString.Short

haskell-day-2018

HTML

haskell-bytestring-short

CoPL-read

haskell-th-bang-compat

Haskell interpreter implementation challenge in OCaml

caml-haskell

dns-resolver

Simple implementation of Linear Feedback Shift Register.

haskell-lfsr

Challenge to implement Programming Language Haskell in OCaml

caml-haskell2

Haskell library to copy datas between file handle and string

haskell-data-handle

Codes for PostScript hands-on

pshack

Codes for haskell beginners' meeting

haskell-beginner

Functions to get local interface address

haskell-local-address

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

haskell-invertible-syntax-attoparsec

Generic encoder and decode for JSON-RPC

haskell-json-rpc-generic

Scripts to switch network environment

network-env

The bracket definitions for Hspec

haskell-hspec-bracket

Top SE Coq seminar 2012-03

icfpc-khibino

coq-TopSE-201203

pfds-read

meeting to read PFDS

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

lookup-mypaedia

Emacs Lisp

haskell-debian-build.rebuild

Debian package build sequence tools

parser and printer for radius protocol packet

haskell-protocol-radius

Wrapper script for pbuilder and cowbuilder to support for multi-distribution

debian-build-multidist

Compatibility for type constraint template

haskell-th-constraint-compat

Stub generation against DB schema

haskell-hdbc-tool.201303

Compatible generic class names of Aeson

haskell-aeson-generic-compat

Documents for GHC source code reading party

ghc-src-read

Codes for the book "Introduction to Algorithms"

introduction-to-algorithms

Haskell day 2012-05-27 presentation.

haskell-day-2012

mount-cgfs

Script to mount cgroup FS without systemd

haskelldb-genschema

Generating DB schema for HaskellDB

Bracketed HDBC session for HaskellDB

haskelldb-connect-hdbc

empty

Empty repository

ga-haskell-single-try

testsuit of protocol-radius haskell package

haskell-protocol-radius-test

Codes which is written in a proof party about Category Theory at 2012/05 Tokyo

coq-Category-201205

Compatibility interface of cabal test-suite.

haskell-cabal-test-compat