Skip to content
View bacam's full-sized avatar
20 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
Block or Report

Block or report bacam

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. coqjvm coqjvm Public

    Coq executable semantics and resource verifier

    Coq 12 1

  2. handlers-in-ott handlers-in-ott Public

    Effect handlers in Ott

    Coq 6 1

  3. logmerge logmerge Public

    Merge log entries in order from several files

    OCaml 2

  4. piperlog piperlog Public

    Log summary generator

    OCaml 2

  5. setupenv setupenv Public

    Set up environment variables for an application installed in an arbitrary directory

    1 1

  6. sato-maps-agda sato-maps-agda Public

    Agda 1 1