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 2 other packages
    30 May 2022
  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
    17 Feb 2020
  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
    25 Apr 2020