Skip to content
View raehik's full-sized avatar
🈁
λ
🈁
λ
77 followers · 114 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@readingschool @readingschool-cs-club @haskell-cryptography

Block or report raehik

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
raehik/README.md

sup

about me

  • he/him
  • aspire to be a developer who makes other developers happy
  • love languages (especially Haskell and Japanese)
  • 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)

feel free to post an issue, message or get into contact any other way if you'd like to discuss any of my projects!

Pinned Loading

  1. symparsec symparsec Public

    Type level string parser combinators

    Haskell 8 1

  2. rerefined rerefined Public

    Refinement types in Haskell, again

    Haskell 3

  3. binrep binrep Public

    Useful, efficient, precise binary schema modelling in Haskell

    Haskell 14 1

  4. strongweak strongweak Public

    Convert between strong and weak representations of types

    Haskell 8

  5. generic-data-functions generic-data-functions Public

    Familiar functions lifted to generic Haskell data types

    Haskell 2

  6. camfort/camfort camfort/camfort Public

    Light-weight verification and transformation tools for Fortran

    Haskell 126 15