Block or report user
  • Paris, France

Organizations

@secure-compilation

Pinned repositories

  1. sat-solvers

    Solvers for the Satisfiability Problem in Haskell. Made for educational purposes.

    Haskell

  2. secure-compilation/beyond-good-and-evil

    Auxiliary materials for "Beyond Good and Evil" paper

    Coq 2

  3. first-order-logic

    Implementations of the first order logic and some of its algorithms with finite models in Haskell.

    Haskell

  4. mappagani

    Coloration automatique et manuelle de carte à nombre de régions variable avec 4 couleurs en OCaml. Projet de programmation fonctionnelle (L3 Informatique)

    OCaml 1

  5. KostiaChardonnet/tchatche

    Système de communication interactif multi-utilisateurs - projet étudiant L3 Informatique Paris Diderot année 2016-2017

    C 2

  6. term-rewriting

    Study and proofs of abstract term rewriting with Coq

    Coq

604 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

February 2017

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