Block or report user

Report or block Chobbes

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Edmonton, Alberta

Organizations

@vellvm @HaskellEmbedded @ExEditor @HaskellAmbiguity

Popular repositories

  1. org-chef

    A package for making a cookbook and managing recipes with org-mode.

    Emacs Lisp 75 7

  2. EmulArd

    Arduino emulation! Well, sort of! A fake Arduino.h and black magic for testing Arduino code on any computer, and it even allows you to test entire networks of Arduinos!

    C++ 5 1

  3. MooXtract

    A simple Haskell program for extracting Moodle submissions.

    Haskell 2 1

  4. PiBellards

    Implementation of Bellard's algorithm for calculating pi to 'n' digits in Haskell.

    Haskell 2

  5. DocsDuck

    Haskell script to upload Moodle grade sheets into DocsDB automagically! Yay magic!

    Haskell 2

  6. Coqplexity

    Reasoning about complexity classes in Coq with Coquelicot

    Coq 2

271 contributions in the last year

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

Contribution activity

July 2018

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