3 search results for "author:"Arthur Correnson""

Showing 1 - 3
  1. farith
    Documentation
    Floating point numbers library extracted from the Flocq Coq Library
    François Bobot Loïc Correnson Arthur Correnson
    0.1
    LGPL-2.1
    Used by 3 other packages
    Added to opam-repository
  2. huffman
    Documentation
    An OCaml library to manipulate Huffman trees
    Arthur Correnson <arthur.correnson@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. nacc
    Documentation
    Not Another Compiler Compiler
    Nathan Graule <solarliner@gmail.com> Arthur Correnson <arthur.correnson@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository