Skip to content
🤔
Confused about why this feature exists
🤔
Confused about why this feature exists
Pro
Block or report user

Report or block taktoa

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@arcane-chat
Block or report user

Report or block taktoa

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.

    Haskell 29 1

  2. A language-generic implementation of equality saturation in Haskell

    Haskell 13 2

  3. A typechecker for WebAssembly, written in Agda (WIP)

    Agda 11 1

  4. An X11 display manager, written in Haskell. (WIP)

    Haskell 8

  5. Experimental music bot for TeamSpeak 3 (mostly abandoned due to arcane-chat)

    C++ 1

  6. GHCJS FFI bindings to the Electron API (WIP).

    Haskell 11 2

47 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to taktoa/math-notes, chessai/hsdatalog, taktoa/lib901p and 5 other repositories
Loading

Contribution activity

May 2020

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

You can’t perform that action at this time.