Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. My .emacs.d folder

    Emacs Lisp 1

  2. Forked from IOOPM-UU/ioopm15

    Course repository for IOOPM, 2015

    C

  3. Mechanisation of KappaF in Coq

    Coq

  4. Forked from parapluu/encore

    The Encore compiler.

    C++

  5. Forked from sboosali/coq

    computer logic, cs195x

    Coq

  6. It's a site about me!

    HTML

57 contributions in the last year

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

Contribution activity

September 2020

Created an issue in miking-lang/miking that received 2 comments

Discussion: Comment style for documentation generation

This issue is for discussing how we should write comments that can be parsed by a documentation generator (à la Doxygen). It can be seen as a conti…

2 comments

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

You can’t perform that action at this time.