Block or report user
Developer Program Member


@CCSCloudComputing @leanprover

Popular repositories

  1. 290c-reading-list

    A reading list with citations for UCSB's CS 290G

    TeX 5 1

  2. acetic

    A playground for experimenting with Rust's type system

    Rust 4

  3. HTTP-Scala

    A simple HTTP client in Scala for doing GETs and POSTs.

    Scala 3 3

  4. HaskellNotes

    A repo for the notes, and assignments I use for my talks on Haskell.

    Haskell 2

  5. jroesch

    Hakyll site for my webpage.

    Haskell 2

  6. SpinalCord

    A set of extensions built on Backbone.js to make development easier.

    CoffeeScript 2

953 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2017

Created a pull request in leanprover/ that received 2 comments

[RFC] Begin restructuring the website

This is a first draft at getting new content put on the website. I prototyped a new home page, and setup the blogging infrastructure. I used the co…

Created an issue in leanprover/lean that received 8 comments

[RFC] Reference Manual

I started work on a reference manual the other night. Rust has used a variant of Gitbook for maintaining their reference manual for a long time, as…

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