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

  1. bitpack_serializer
    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
    Last published 07 Sep 2022
  2. ez_hash
    Ez hash & crypto utilities
    Fabrice Lefessant Steven de Oliveira
    0.5.3
    LGPL-2.1-only
    Used by 0 other packages
    Last published 10 Oct 2022
  3. ocplib-simplex
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
    Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com> Hichem Ait El Hara <hichem@ocamlpro.com> Steven de Oliveira <steven@ocamlpro.com> Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    Last published 24 Nov 2022
  4. pilat
    Polynomial invariant generator
    Steven De Oliveira <de.oliveira.steven@gmail.com>
    1.6
    LGPL-2.1-only
    Used by 0 other packages
    Last published 22 Aug 2022
  5. solidity-alcotest
    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
    Last published 27 Apr 2021
  6. solidity-common
    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
    Last published 27 Apr 2021
  7. solidity-parser
    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
    Last published 27 Apr 2021
  8. solidity-test
    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
    Last published 27 Apr 2021
  9. solidity-typechecker
    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
    Last published 27 Apr 2021