119 search results for "author:"Ocamlpro""

Showing 1 - 50
  1. Adjustable grid (two dimensional array) library
    0.1
    ISC
    Used by 1 other packages
    09 Mar 2021
  2. 2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    24 Sep 2024
  3. 2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    24 Sep 2024
  4. 2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    24 Sep 2024
  5. An experimental Why3 frontend for Alt-Ergo
    2.6.0
    LGPL-2.1-only
    Used by 0 other packages
    24 Sep 2024
  6. Basic spreadsheet tool with HTML tables
    0.1
    ISC
    Used by 0 other packages
    14 Mar 2021
  7. 0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  8. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  9. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  10. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  11. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  12. 0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  13. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  14. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  15. An OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows
    0.5
    ISC
    Used by 6 other packages
    09 Jan 2022
  16. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  17. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  18. The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  19. 2.1.0
    LGPL-2.1-only
    Used by 2 other packages
    09 Jul 2024
  20. Easy interface to Cmdliner à la Arg.parse with sub-commands
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
  21. 0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  22. Easy file manipulation (read_file, write_file, etc.)
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    08 Mar 2022
  23. A simple library to work with pgocaml
    1.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Mar 2021
  24. Bindings for the Ace editor
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  25. Bindings for Blockies
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  26. 0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  27. Bindings for SubtleCrypto
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  28. Bindings for Cytoscape
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  29. 0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  30. Binding for Chrome and Firefox extension API
    0.1
    LGPL-2.1-only
    Used by 1 other packages
    29 Oct 2020
  31. 0.3
    LGPL-2.1-or-later
    Used by 1 other packages
    22 Dec 2022
  32. Bindings for IndexedDB
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    13 Apr 2021
  33. 0.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  34. A bunch of js_of_ocaml shortcuts
    0.3.0
    LGPL-2.1
    Used by 8 other packages
    11 Apr 2022
  35. Bindings for odometer
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  36. Bindings for Push Notification
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  37. Bindings for QRCode.js
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    31 Jul 2020
  38. Bindings for reCAPTCHA
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  39. Bindings for TimelineJS
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    26 Oct 2020
  40. A minimal OCaml library for type-safe HTTP/JSON RPCs
    0.6.1
    MIT
    Used by 1 other packages
    08 Feb 2021
  41. A minimal OCaml library for type-safe HTTP/JSON RPCs
    0.6.1
    MIT
    Used by 0 other packages
    08 Feb 2021
  42. A tool to check and update source headers, using checksums
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  43. Type-safe encoding to and decoding from JSON
    1.0.1
    MIT
    Used by 10 other packages
    21 Mar 2024
  44. Type-safe encoding to and decoding from JSON (browser support)
    1.0.1
    MIT
    Used by 0 other packages
    21 Mar 2024
  45. Type-safe encoding to and decoding from JSON (bson support)
    1.0.1
    MIT
    Used by 1 other packages
    21 Mar 2024
  46. 1.0.0
    MIT
    Used by 0 other packages
    14 Feb 2024
  47. 1.0.0
    MIT
    Used by 0 other packages
    14 Feb 2024
  48. MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
    1.1+18
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-only
    Used by 2 other packages
    22 Aug 2024
  49. 0.5.0
    GPL-2.0-only
    Used by 1 other packages
    06 Nov 2023
  50. Small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
    0.1
    MIT
    Used by 0 other packages
    24 May 2017