Skip to content
Avatar
🌊
every dot and stroke I paint will be alive
🌊
every dot and stroke I paint will be alive
  • Block or report user

    Report or block robrix

    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
1.1k followers · 19 following · 35

Highlights

  • Arctic Code Vault Contributor

Organizations

@github @tree-sitter

Pinned

  1. fused-effects/fused-effects

    A fast, flexible, fused effect system for Haskell

    Haskell 452 33

  2. starlight

    spaceships in space

    Haskell 70 2

  3. tilec

    Sometimes when I feel sad I implement a dependently typed lambda calculus.

    Haskell 14 1

  4. path

    A lambda calculus to explore type-directed program synthesis.

    Haskell 82 1

  5. semilattices

    join and meet semilattices, lower and upper bounds.

    Haskell 36 6

  6. isometry

    programmatic voxels

    Haskell 10 1

21,597 contributions in the last year

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

Contribution activity

August 2020

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

You can’t perform that action at this time.