• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Get Started
  • OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started

4 search results for "author:"Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>""

  1. interval
    Documentation
    An interval arithmetic library for OCaml (meta package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 0 other packages
    09 Dec 2022
  2. interval_base
    Documentation
    An interval library for OCaml (base package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 3 other packages
    09 Dec 2022
  3. interval_crlibm
    Documentation
    An interval library for OCaml (crlibm version)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022
  4. interval_intel
    Documentation
    An interval library for OCaml
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Install OCaml
  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Changelog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct