GitHub

sup

about me

  • aspire to be a developer who makes other developers happy
  • big Haskell and Japanese guy / ハスケル大大大好き　日本語もおk
  • play lots of games, reverse engineer a few
  • contribute to the Haskell open source ecosystem, and the wider open source community in small ways (almost all of my hobby code is public)

I love sharing my projects with people. Please feel free to post issues and pull requests, or contact me if you'd like to discuss them!

Pinned Loading

  1. Type level string parser combinators

    Haskell 20 2

  2. Refinement types in Haskell, again

    Haskell 9

  3. Useful, efficient, precise binary schema modelling in Haskell

    Haskell 16 1

  4. Convert between strong and weak representations of types

    Haskell 10

  5. Familiar functions lifted to generic Haskell data types

    Haskell 3

  6. Light-weight verification and transformation tools for Fortran

    Haskell 143 17

Read the original on github.com ↗