Block or report user

Report or block freebroccolo

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@purescript-contrib @flow-atom @reasonml-editor

Pinned repositories

  1. ocaml-language-server

    A language server for OCaml and related languages

    TypeScript 189 22

  2. reasonml-editor/vscode-reasonml

    OCaml & Reason support for Visual Studio Code

    TypeScript 380 39

  3. ocaml-cats

    Category theory for OCaml

    OCaml 54 4

  4. agda-wander-magmas

    A familial coinductive-recursive encoding of Penon-style ∞-magmas

    Agda 3

  5. agda-cubical-sets

    Cubical Set(oid)s in Agda

    Agda 12 3

  6. agda-syntactic-duploids

    An encoding of syntactic duploids

    Agda 4

1,042 contributions in the last year

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

Contribution activity

August 2018

Created an issue in GaloisInc/cryptol that received 2 comments

Loading some modules takes longer than expected

This is just a follow up to the conversation I had with @brianhuffman about certain modules (around 2K loc) taking longer than expected. I can prov…


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