khibino Goto Github PK

adwh-read-pub

agda

Agda is a dependently typed programming language / interactive theorem prover.

c2hsc

Utility for creating .hsc files from C API header files

cabal-debian

Create a Debianization by examining a .cabal file.

caml-haskell

Haskell interpreter implementation challenge in OCaml

caml-haskell2

Challenge to implement Programming Language Haskell in OCaml

cereal

copl-read

coq-category-201205

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

coq-topse-201203

Top SE Coq seminar 2012-03

cpdt-japanese

Certified Programming with Dependent Types (Japanese Translation)

cryptonite

lowlevel set of cryptographic primitives for haskell

debian-build-multidist

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

dns

DNS libary in Haskell

dns-onsen

DNS onsen presentations

dns-resolver

dnsext

Types for Extensible DNS libraries which are written purely in Haskell

dtpia-read

Example code of Dependently Typed Programming in Agda

empty

Empty repository

ga-haskell-single-try

ga-haskell-try

ghc-hack

Hacking GHC is fun!

ghc-mod

Happy Haskell programming on Emacs

ghc-src-read

Documents for GHC source code reading party

haiji

A typed template engine, subset of jinja2

haskell-actions

Github actions for Haskell CI

haskell-aeson-generic-compat

Compatible generic class names of Aeson

haskell-beginner

Codes for haskell beginners' meeting

haskell-bytestring-short

Backport copy of Data.ByteString.Short

haskell-cabal-test-compat

Compatibility interface of cabal test-suite.