120 search results for "author:"OcamlPro""

Showing 101 - 120
  1. resto-directory
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 4 other packages
    13 Jul 2023
  2. resto-json
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    13 Jul 2023
  3. smtml
    Documentation
    A Front-end library for SMT solvers in OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.3.1
    MIT
    Used by 1 other packages
    06 Nov 2024
  4. sodium
    Documentation
    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 2 other packages
    18 Apr 2017
  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
    27 Apr 2021
  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
    27 Apr 2021
  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
    27 Apr 2021
  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
    27 Apr 2021
  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
    27 Apr 2021
  10. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  11. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  12. swhid_core
    Documentation
    OCaml library to work with swhids
    Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
    0.1
    ISC
    Used by 2 other packages
    20 Jun 2022
  13. typerex-attic

    No documentation

    A set of simple tools and libraries that we developed over the years
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0.2
    Used by 0 other packages
    17 May 2016
  14. typerex-binutils
    Documentation
    Libraries and tools to work with object files
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0
    Used by 0 other packages
    09 Aug 2016
  15. typerex-build
    Documentation
    Project manager for OCaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.99.17-beta
    Used by 5 other packages
    27 Jun 2016
  16. typerex-clibs

    No documentation

    A set of bindings to common C libraries
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0
    Used by 1 other packages
    08 Aug 2016
  17. typerex-lldb

    No documentation

    A set of tools and libs built on top of the LLDB debugging framework
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com> Pierre Chambart <pierre.chambart@ocamlpro.com>
    1.1
    Used by 0 other packages
    13 May 2016
  18. typerex-system

    No documentation

    System utilities written in OCaml
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0
    Used by 0 other packages
    09 Aug 2016
  19. user-setup
    Documentation
    Helper for the configuration of editors for the use of OCaml tools
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.8
    ISC
    Used by 0 other packages
    05 Sep 2024
  20. wxOCaml

    No documentation

    OCaml bindings to the wxWidgets graphical library
    Fabrice Le Fessant INRIA/OCamlPro <fabrice.le_fessant@inria.fr>
    1.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Nov 2015
1 2 3