Skip to content
View notogawa's full-sized avatar

Block or report notogawa

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. yesod-websocket-sample yesod-websocket-sample Public

    YesodでWebSocketなサンプル

    Haskell 10

  2. haiji haiji Public

    A typed template engine, subset of jinja2

    Haskell 10 3

  3. fluent-logger-haskell fluent-logger-haskell Public

    A structured logger for Fluentd (Haskell)

    Haskell 9 2

  4. graceful graceful Public

    Library to write graceful service.

    Haskell 9 1

  5. sfja-agda sfja-agda Public

    "Software Foundations" Agda challenge

    Agda 7 1

  6. agda-haskell-example agda-haskell-example Public

    example haskell project with agda code generation

    JavaScript 7