日比野 啓 (Kei Hibino)
khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/
Languages
Repos
103
Stars
273
Forks
44
Top Language
Haskell
Loading contributions...
Top Repositories
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
Debian package build sequence tools
Test properties and default-mains for QuickCheck
Compatibility for the result type of TH reify
Compatibility for data definition template of TH
Repositories
103Types for Extensible DNS libraries which are written purely in Haskell
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
Certificate and Key Reader/Writer in haskell
DNS onsen presentations
No description provided.
No description provided.
No description provided.
parser and printer for radius protocol packet
Haskell Web Application Interface
Low-level networking interface
IETF QUIC library in Haskell
testsuit of protocol-radius haskell package
Priority Search Queues in three different flavors for Haskell, with ord extension
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
No description provided.
libssh something with Haskell FFI
Debian package build sequence tools
Agda is a dependently typed programming language / interactive theorem prover.
No description provided.
Compatibility for the result type of TH reify
Compatibility for type constraint template
Test properties and default-mains for QuickCheck
clone of Proof General repo
No description provided.
Generic encoder and decode for JSON-RPC
MyPaedia support for lookup.el - import from mypaedia-fpw-package-1.0.7
DNS libary in Haskell
Compatibility for data definition template of TH
Happy Haskell Programming
No description provided.