Skip to content


  • Arctic Code Vault Contributor
  • Pro


@HIPERFIT @CoqHott @diku-dk

Popular repositories

  1. Two-Level Type Theory

    Lean 10

  2. A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.

    Racket 6

  3. An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).

    Java 4

  4. Forked from HIPERFIT/contracts

    Symbolic financial contract EDSL

    Coq 4 1

  5. Supplementary materials for the Language-based Security Lecture on Smart Contracts

    2 1

561 contributions in the last year

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

Contribution activity

October 2020

50 contributions in private repositories Oct 1 – Oct 27

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

You can’t perform that action at this time.