khibino/ideals-varieties-and-algorithms
Reading memo of Ideals Varieties and Algorithms
Developer Profile
khibino
Discovered public repositories for khibino in the GitHub catalog.
khibino/hdbc-odbc
ODBC driver for HDBC
khibino/haskell-relational-record-driver-mysql
MySQL driver for haskell-relational-record
khibino/haskell-relational-record-driver-oracle
Oracle driver for haskell-relational-record
khibino/haskell-relational-record-driver-sqlite3
This repository includes a driver of haskell-relational-record to connect SQLite3 using HDBC-sqlite3.
khibino/haskell-relational-record-driver-sqlserver
This repository includes a driver of haskell-relational-record to connect Microsoft SQL Server using HDBC-odbc.
khibino/logic-examples
small examples of proof object programming
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-hdbc-tool.201303
Stub generation against DB schema
khibino/sfja
SoftwareFoundations(Ja)
khibino/sfja-code
Codes for 'Software Foundations'
khibino/haskelldb-genschema
Generating DB schema for HaskellDB
khibino/haskelldb-connect-hdbc
Bracketed HDBC session for HaskellDB
khibino/haskelldb
A library for building re-usable and composable SQL queries.
khibino/ghc-src-read
Documents for GHC source code reading party
khibino/ghc-hack
Hacking GHC is fun!
khibino/haskell-lfsr
Simple implementation of Linear Feedback Shift Register.
khibino/haskell-invertible-syntax-parsec
Turn Parsec type into instance of invertible-syntax-poly.
khibino/haskell-invertible-syntax-attoparsec
Turn attoparsec Parser types into instance of invertible-syntax-poly.
khibino/haskell-invertible-syntax-poly
Extends invertible-syntax library capable to use parameterized token type.
khibino/haskell-day-2012
Haskell day 2012-05-27 presentation.
khibino/coq-Category-201205
Codes which is written in a proof party about Category Theory at 2012/05 Tokyo
khibino/debian-build-multidist
Wrapper script for pbuilder and cowbuilder to support for multi-distribution
khibino/coq-TopSE-201203
Top SE Coq seminar 2012-03
khibino/haskell-CV-sample
Sample Codes using OpenCV
khibino/empty
Empty repository
khibino/pfds-read
meeting to read PFDS
khibino/ghc-mod
Happy Haskell programming on Emacs
khibino/icfpc-khibino
Public repository.
khibino/haskell-lazys
Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language.
khibino/haskell-local-address
Functions to get local interface address
khibino/network-env
Scripts to switch network environment
khibino/pshack
Codes for PostScript hands-on
khibino/pfds
Codes for the book "Purely Functional Data Structure"
khibino/kazu-meeting
Codes for haskellers' meeting
khibino/haskell-beginner
Codes for haskell beginners' meeting
khibino/haskell-data-handle
Haskell library to copy datas between file handle and string
khibino/caml-haskell2
Challenge to implement Programming Language Haskell in OCaml
khibino/introduction-to-algorithms
Codes for the book "Introduction to Algorithms"
khibino/tapl
Codes for the book " Types and Programming Languages (TaPL)"
khibino/caml-haskell
Haskell interpreter implementation challenge in OCaml