Block or report user



Pinned repositories

  1. haskell-serverless-example

    Haskell serverless example using AWS API Gateway and Lambda

    Haskell 4

  2. four-color-theorem-demo

    Full-stack Four Color Theorem Coq Proof Demo (WIP)

    JavaScript 1

  3. free-monads-example

    Code for Gabriel Gonzalez's fantastic write up on free monads

    Haskell 1

  4. dotfiles

    An opinionated software development toolset for MacOS with experimental support for NixOS/Ubuntu via Vagrant

    CSS 2

  5. www-brandonstil-es

    Personal website

    JavaScript 2

  6. haskell-lambda-calculus

    λ-Calculus Interpreter in Haskell

    Haskell 1

1,084 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

March 2018

31 contributions in private repositories Mar 6 – Mar 23

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