notogawa/agda-interactive-server
agda --interactive websocket server
Developer Profile
notogawa
Discovered public repositories for notogawa in the GitHub catalog.
notogawa/agda-haskell-example
example haskell project with agda code generation
notogawa/packer
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.
notogawa/sfja-code
Codes for 'Software Foundations'
notogawa/ghc-mod
Happy Haskell programming for editors
notogawa/genjitsu
Restricted IO
notogawa/packer-templates
packer templates
notogawa/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
notogawa/fluent-logger-conduit
Fluent logger using conduits.
notogawa/haskell-graceful-debian
debianize graceful package
notogawa/logger
A fast logging system for Haskell
notogawa/gentoo-haskell
official gentoo haskell overlay
notogawa/pool
A high-performance striped resource pooling implementation for Haskell
notogawa/doctest-haskell
An implementation of Python's doctest for Haskell
notogawa/ICFPC2013
ICFPC2013
notogawa/graceful
Library to write graceful service.
notogawa/yesod
A RESTful Haskell web framework built on WAI.
notogawa/sfja-agda
"Software Foundations" Agda challenge
notogawa/fluent-logger-haskell
A structured logger for Fluentd (Haskell)
notogawa/hs-tls
TLS/SSL implementation in haskell
notogawa/hackage-dependency-graph
Hackage Dependency Graph
notogawa/simple-sendfile
Cross platform library for the sendfile system call
notogawa/wai
Haskell Web Application Interface
notogawa/monarch
Monadic interface for TokyoTyrant.
notogawa/yesod-websocket-sample
YesodでWebSocketなサンプル
notogawa/mysql-haskell-plugin
MySQL User Defined Function to evaluate Haskell expression
notogawa/libift
Library for Incremental Failure Test
notogawa/googletest
Google C++ Testing Framework mirror
notogawa/putty
PuTTY mirror with macro patch
notogawa/ccscope
Continuous Cscope index updater
notogawa/portage-overlay
Gentoo personal overlay
notogawa/hhl4cpp
Public repository.
notogawa/AsakusaSatellite
a realtime chat application for developers