Skip to content
View fblanqui's full-sized avatar

Organizations

@Deducteam

Block or report fblanqui

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. color color Public

    Coq library on rewriting theory and termination

    Coq 35 21

  2. moca moca Public

    Generator of OCaml construction functions for quotient types

    OCaml 2

  3. lambdapi lambdapi Public

    Forked from Deducteam/lambdapi

    Proof assistant based on the λΠ-calculus modulo rewriting

    OCaml

  4. crsx crsx Public

    Forked from crsx/crsx

    Java

  5. ocaml-earley ocaml-earley Public

    Forked from rlepigre/ocaml-earley

    Parsing library based on Earley Algorithm

    OCaml

  6. ocaml-bindlib ocaml-bindlib Public

    Forked from rlepigre/ocaml-bindlib

    Efficient binder representation in OCaml

    OCaml