Skip to content


  • Arctic Code Vault Contributor


@w3c @webid-community @read-write-web @co-operating-systems @banana-rdf @solid @webcats

Popular repositories

  1. Forked from harbulot/foafssl-java

    FOAF+SSL Java libraries

    Java 13 3

  2. Forked from playframework/playframework

    Play framework 2.0

    Scala 8 3

  3. Forked from harbulot/keygenapp

    Utilities and WebApp for certificate creation within a browser, for FOAF+SSL

    Java 7 1

  4. Forked from apache/clerezza

    Mirror of Apache Clerezza

    Java 7 1

  5. Forked from shellac/java-rdfa

    RDFa Parser for java

    Java 5

  6. Forked from scor/webid-spec

    The WebID specification

    4 1

161 contributions in the last year

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

Contribution activity

November 2020

Created 1 repository

Created a pull request in agda/agda-categories that received 3 comments

an n-uniform hypergraph

This is a simple n-uniform hypergraph inspired from other similar categories from the finite sets categories. This should cover any small category …

+148 −2 3 comments
Opened 1 other pull request in 1 repository
1 open
Reviewed 1 pull request in 1 repository
solid/authentication-panel 1 pull request

Created an issue in banacorn/agda-mode-vscode that received 8 comments

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

You can’t perform that action at this time.