Skip to content
Nice try Micro$oft - will leave soon.
Nice try Micro$oft - will leave soon.




  1. Simple, Formal, Elegant. CV Generator

    Java 1

  2. It was all a MIPStake.


  3. A short sweet application to segment an arbitrary image into distinct rectangular regions based on transparency.


  4. Music synced to typing baby!

    Python 1

  5. Free, open source web commenting system in a single script (no-analytics, privacy friendly)!

    OCaml 2

  6. Verified hash-based AMQ structures in Coq

    Coq 105 3

356 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in emacs-elsa/Elsa that received 1 comment

updates `elsa--read-cons` to correctly handle symbols starting with dot

Fixes #172 by updating elsa--read-cons so that dots are only considered as dotted forms if not proceeded by an alphanumeric character.

+2 −2 1 comment

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

You can’t perform that action at this time.