Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@ocamllabs @janestreet

Popular repositories

  1. A "implementation" of Girard's paradox in OCaml

    OCaml 49

  2. Proposal for namespacing in OCaml

    35 3

  3. Prof. Spacetime

    OCaml 26 11

  4. OCaml with typed algebraic effects

    OCaml 24 4

  5. Work on modular implicits

    TeX 22 3

  6. Coq library for handling names

    Coq 13 2

199 contributions in the last year

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

Contribution activity

September 2020

Created a pull request in ocaml/ocaml that received 10 comments

Add raw_data primitives to avoid naked pointers

In preparing Jane Street's code base for a world without naked pointers, there is one pattern that I am having difficulty removing. Currently, you …

+249 −7 10 comments

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

You can’t perform that action at this time.