Skip to content
soft and fluffy
soft and fluffy
  • Aarhus University
  • Aarhus


@ocaml @CakeML
Block or Report

Block or report Armael

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. Formalisation of a capability machine and principles for reasoning about security properties

    Coq 11 1

  2. A small Coq library for collecting side conditions and deferring their proof

    TeX 16 1

  3. papiers Public

    A tool to index your papers/interesting links/... and quickly search through them

    OCaml 48 5

  4. A pure OCaml implementation of the i3 IPC protocol

    OCaml 19 6

  5. A sugar-coated translation from HTML to Tyxml combinators

    OCaml 9 1

  6. stone Public

    A simple static website generator, written in OCaml

    OCaml 18 2

406 contributions in the last year

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

Contribution activity

October 2021

Created 9 commits in 1 repository
Reviewed 1 pull request in 1 repository
logsem/cerise 1 pull request

Created an issue in foobar-land/coq-of-ocaml that received 3 comments

docs: dead link

The links to the docs (in the README) is dead (looks like it needs s/clarus/foobar-land).


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