Discover @khibino Open Source projects

日比野啓 (Kei Hibino) (@khibino)

khibino

Stars
352
Global Rank 78,236 (Top 3 %)
Followers 133
Following 129
Registered over 14 years ago
Most used languages

Haskell
67.3 %

OCaml
9.6 %

Shell
9.6 %

Coq 7.7 %

HTML
3.8 %

Emacs Lisp
1.9 %
Location 🇯🇵 Japan
Country Total Rank 1,792
Country Ranking

Coq 13

Haskell
13

OCaml
53

Emacs Lisp
415

HTML
1,061

Shell
1,330

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-invertible-syntax-poly

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

haskell-debian-build

Debian package build sequence tools

logic-examples

small examples of proof object programming

haskell-tiny-intro

haskell-quickcheck-simple

Test properties and default-mains for QuickCheck

sfja-code

Codes for 'Software Foundations'

haskell-th-reify-compat

Compatibility for the result type of TH reify

haskell-text-ldap

Parser and Printer for LDAP text data stream

haskell-th-data-compat

Compatibility for data definition template of TH

pfds

Codes for the book "Purely Functional Data Structure"

haskell-invertible-syntax-parsec

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

kazu-meeting

Codes for haskellers' meeting

ideals-varieties-and-algorithms

Reading memo of Ideals Varieties and Algorithms

tapl

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

haskell-lazys

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

haskell-CV-sample

Sample Codes using OpenCV

haskell-day-2018

haskell-bytestring-short

Backport copy of Data.ByteString.Short

CoPL-read

haskell-th-bang-compat

caml-haskell

Haskell interpreter implementation challenge in OCaml

dns-resolver

haskell-lfsr

Simple implementation of Linear Feedback Shift Register.

caml-haskell2

Challenge to implement Programming Language Haskell in OCaml

haskell-data-handle

Haskell library to copy datas between file handle and string

haskell-product-isomorphic

pshack

Codes for PostScript hands-on

haskell-beginner

Codes for haskell beginners' meeting

haskell-local-address

Functions to get local interface address

haskell-invertible-syntax-attoparsec

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

haskell-json-rpc-generic

Generic encoder and decode for JSON-RPC

network-env

Scripts to switch network environment

haskell-hspec-bracket

The bracket definitions for Hspec

icfpc-khibino

coq-TopSE-201203

Top SE Coq seminar 2012-03

pfds-read

meeting to read PFDS

lookup-mypaedia

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

haskell-debian-build.rebuild

Debian package build sequence tools

haskell-protocol-radius

parser and printer for radius protocol packet

debian-build-multidist

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

haskell-th-constraint-compat

Compatibility for type constraint template

haskell-hdbc-tool.201303

Stub generation against DB schema

haskell-aeson-generic-compat

Compatible generic class names of Aeson

ghc-src-read

Documents for GHC source code reading party

introduction-to-algorithms

Codes for the book "Introduction to Algorithms"

haskell-day-2012

Haskell day 2012-05-27 presentation.

mount-cgfs

Script to mount cgroup FS without systemd

haskelldb-genschema

Generating DB schema for HaskellDB

haskelldb-connect-hdbc

Bracketed HDBC session for HaskellDB

empty

Empty repository

ga-haskell-single-try

haskell-protocol-radius-test

testsuit of protocol-radius haskell package

coq-Category-201205

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

haskell-cabal-test-compat

Compatibility interface of cabal test-suite.