Skip to content
Avatar
  • Block or report user

    Block or report trefis

    Block user

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

    Report abuse

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

    Report abuse
121 followers · 8 following · 12
  • Taridès
  • Paris

Highlights

  • Arctic Code Vault Contributor

Organizations

@the-lambda-church

Popular repositories

  1. Facade

    A small search UI for mopidy

    OCaml 8

  2. deques

    TRE: a Coq implementation of Tarjan & Kaplan "Real-Time Deques with Catenation"

    Coq 2

  3. opam-repository

    Forked from ocaml/opam-repository

    Package descriptions for OPAM

    Shell 1

  4. existentialism Archived

    is a humanism

    OCaml 1

  5. lambda-dumps

    1

  6. mopidy

    Forked from mopidy/mopidy

    Music server with support for MPD clients and Spotify streaming

    Python

239 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to ocaml/ocaml, ocaml/merlin, the-lambda-church/dmlenu and 5 other repositories

Contribution activity

January 2021

Created 10 commits in 2 repositories
Opened 3 pull requests in 1 repository
Reviewed 2 pull requests in 2 repositories
ocaml/merlin 1 pull request
ocaml/ocaml 1 pull request

Created an issue in ocurrent/ocaml-ci that received 1 comment

main page and github checks status disagree with build page status

Apologies in advance for the reproduction case which is probably going to be stale somewhat soon. Right now, when I go on https://ci.ocamllabs.io/g…

1 comment

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

You can’t perform that action at this time.