Skip to content
Avatar
104 followers · 6 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@coq @jscoq
Block or Report

Block or report ejgallego

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.

Report abuse

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

Report abuse

Pinned

  1. jscoq/jscoq Public

    A port of Coq to Javascript -- Run Coq in your Browser

    JavaScript 421 28

  2. coq-serapi Public

    Coq Protocol Playground with Se(xp)rialization of Internal Structures.

    OCaml 100 24

  3. HOARe2 Public

    Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

    OCaml 6 1

  4. coq/coq Public

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 3.6k 542

  5. pycoq Public

    Python bindings for the Coq interactive proof assistant

    OCaml 35 1

  6. coq-plugin-template Public

    Template of Coq Plugin using the Dune build system, and showcasing some advanced features

    OCaml 13 3

934 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

Contribution activity

January 2022

Created 20 commits in 5 repositories
Created 1 repository

Created a pull request in ocaml/opam-repository that received 3 comments

[new release] ppx_import (1.9.0)

A syntax extension for importing declarations from interface files Project page: https://github.com/ocaml-ppx/ppx_import Documentation: https://oc…

+33 −0 • 3 comments
Opened 4 other pull requests in 3 repositories
ocaml-ppx/ppx_import 2 merged
coq/coq 1 open
ocaml/opam-repository 1 merged
Reviewed 14 pull requests in 3 repositories

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