Mentions légales du service

Skip to content

Explore projects

  • Zen computational linguistics OCaml library

    Updated
    Updated
  • Updated
    Updated
  • Updated
  • BAUDIN Lucas / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Jean-Christophe Filliâtre / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Why3 / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Clément Pascutto / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • PARREIRA PEREIRA Mário José / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Matteo Manighetti / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Benedikt Becker / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Armaël Guéneau / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • LENGRAND Stephane / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    Updated
    Updated
  • Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics

    Updated
    Updated
  • Updated
    Updated
  • Implementation of weak memory models using Causality

    Updated
    Updated
  • vvfe / vvfe

    GNU Affero General Public License v3.0
    Updated
    Updated
  • Armaël Guéneau / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    Updated
    Updated
  • POTTIER Francois / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    Updated
    Updated
  • WILLEMS Danny / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    Updated
    Updated
  • Updated
    Updated