close
The Wayback Machine - https://web.archive.org/web/20211223213102/https://github.com/daanx
Skip to content
Avatar
203 followers · 0 following · 5
  • US

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro
  • 3 discussions answered

Organizations

@koka-lang
Block or Report

Block or report daanx

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. koka-lang/koka Public

    Koka language compiler and interpreter

    Haskell 1.9k 94

  2. microsoft/mimalloc Public

    mimalloc is a compact general purpose allocator with excellent performance.

    C 6.2k 455

  3. koka-lang/libmprompt Public

    Robust multi-prompt delimited control and effect handlers in C/C++

    C 66 4

  4. koka-lang/madoko Public

    Madoko is a fast markdown processor for high quality academic and technical articles

    HTML 324 32

  5. xnning/EvEff Public

    Efficient Haskell effect handlers based on evidence translation.

    Haskell 68 4

  6. koka-lang/nodec Public

    NodeC -- A lean NodeJS in C using algebraic effect handlers.

    C 30 1

1,999 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

December 2021

Created 9 commits in 2 repositories
Reviewed 1 pull request in 1 repository
microsoft/mimalloc 1 pull request

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