9 search results for "author:"Steven de Oliveira""

Showing 1 - 9
  1. bitpack_serializer
    Documentation
    This library provides functions for encoding efficiently simple OCaml data
    Steven de Oliveira <de.oliveira.steven@gmail.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  2. ez_hash
    Documentation
    Ez hash & crypto utilities
    Fabrice Lefessant Steven de Oliveira
    0.5.3
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. ocplib-simplex
    Documentation
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
    Mohamed Iguernlala <iguer@functori.com> Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com> Steven de Oliveira <steven.de-oliveira@ocamlpro.com> Guillaume Bury <guillaume.bury@ocamlpro.com> Pierre Villemot <pierre.villemot@ocamlpro.com>
    0.5.1
    LGPL-2.1-or-later
    Used by 1 other packages
    Added to opam-repository
  4. pilat

    No documentation

    Polynomial invariant generator
    Steven De Oliveira <de.oliveira.steven@gmail.com>
    1.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  5. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  6. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  7. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  8. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  9. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository