konn/language-c-inline
Inline C & Objective-C in Haskell
Discovered public repositories for konn in the GitHub catalog.
Inline C & Objective-C in Haskell
Flexible access control for unsafe operations and instances
representable tries
.emacs.d
A Haskell native implementation of matrices and their operations.
Indexed functors, monads and comonads that require extensions to Haskell98
DEPRECATED: You can just use latexmkinstead of OMake.
A quasiquoter for haskell-src-exts.
Type-level well-kinded natural numbers.
プログラミングの魔導書 vol. 3 「Real World STM 〜実例で学ぶ STM〜」のサンプル・サポートページです。
Chrome extension to render maths by MathJax instead of mimetex or Google Chart.
DEPRECATED: use `sized` package instead
Type-class for the polymorphic data-types (e.g. dependently-typed datatypes defined by GADTs) which can be converted to/from monomorphic represetation
The Parser Generator for Haskell
General-Purpose Computer Algebra System as an EDSL in Haskell
A tool to automatically generate `.ghci` and `.stylish-haskell.yaml` file from `cabal` file.
Automaton Demo written with fay.
Public repository.
Simple Proof assistant for LK Calculus (First-Order logic)
Choice for IO and lifted IO
Agda-style equational reasoning in Haskell
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
Yet another Blog engine written in Haskell powered by yesod.
Efficient HTTP/HTTPS client code with both streaming and non-streaming interfaces.
Learning and Using ØMQ
SMTP libraries for SMTP.
File/CGI App of WAI
Public repository.
A web frontend for gitolite
A simple type-classes to convert between different HTTP data types.
Fav Recommendation system & iteratee/enumerator I/F for retrieving user timeline
examples for template haskell tutorial article for Haskell Advent Calendar 2011
TODO: one-line summary of your gem
A Simple Relay Novel Writing System
Certificate and Key Reader/Writer in haskell
experiments for oauth support for yesod-auth
Category Theory in Agda
MeCab haskell biding
Lazy K interpreter and scm to lazyk translator written in Haskell
General KVS backend for persistent.
Private Favourite crawler for mr_konn!
Authentication subsite for Yesod sites
Authentication methods for Haskell web applications.
Examples for invertible syntax
Simple utility to fix broken package dependencies in ghc.
Examples for my article
convenient packages for somethings
Macro to derive instances for Instant-Generics using Template Haskell
Examples for Meta Programming in Haskell