close
The Wayback Machine - https://web.archive.org/web/20220509100656/https://github.com/0xd34df00d
Skip to content
Avatar
💭
terms types terms terms types types kinds
💭
terms types terms terms types types kinds
225 followers · 9 following

Sponsoring

@rikvdkleij

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Highlights

  • Pro

Organizations

@qxmpp-project
Block or Report

Block or report 0xd34df00d

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.

Report abuse

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

Report abuse

Pinned

  1. refinedt Public

    Refinement types + dependent types = ❤️

    Agda 44 6

  2. fizzbuzz-i Public

    FizzBuzz, formally verified, provably correct

    Idris 20

  3. coformat Public

    Produce a clang-format file from some sample source code

    Haskell 15

  4. can-i-haz Public

    Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

    Haskell 12 1

  5. inline-asm Public

    Inline Assembly code in ur Haskell!

    Haskell 30 1

  6. hwc Public

    wc implemented in Haskell

    Haskell 17 2

2,312 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to 0xd34df00d/refinedt, 0xd34df00d/leechcraft, 0xd34df00d/necogda and 18 other repositories

Contribution activity

May 2022

Created 1 repository
Opened 1 pull request in 1 repository
6 contributions in private repositories May 4 – May 5

Seeing something unexpected? Take a look at the GitHub profile guide.