4435 search results for ""

Showing 3651 - 3700
  1. The Rocq Proof Assistant -- Standard Library
    9.0.0
    LGPL-2.1-only
    Used by 5 other packages
    20 Mar 2025
  2. 9.1.1
    LGPL-2.1-only
    Used by 0 other packages
    23 Feb 2026
  3. Manipulate roman numerals (ocaml.org dune/opam tutorial)
    0.2
    BSD-2-Clause
    Used by 0 other packages
    28 Apr 2021
  4. 0.5.1
    ISC
    Used by 0 other packages
    07 Sep 2018
  5. Ropes (heavyweight strings)
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  6. String manipulation library
    0.2.0
    MIT
    Used by 0 other packages
    30 May 2022
  7. 0.4.0
    MIT
    Used by 5 other packages
    28 Nov 2025
  8. 0.1
    MIT
    Used by 0 other packages
    29 Aug 2019
  9. Typed routing for OCaml applications
    2.0.0
    BSD-3-clause
    Used by 4 other packages
    11 Oct 2022
  10. A Read-Optimistic Write-EXclusive data-structure
    0.0.1
    MIT
    Used by 2 other packages
    27 Jan 2026
  11. 9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  12. Type-safe parallel library built on top of Async_rpc
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  13. 10.0.0
    ISC
    Used by 7 other packages
    02 Jan 2026
  14. A library to deal with RPCs in OCaml - Async interface
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  15. A library to deal with RPCs in OCaml - html documentation generator
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  16. A library to deal with RPCs in OCaml - Bindings for js_of_ocaml
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  17. A library to deal with RPCs in OCaml - Lwt interface
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  18. 0.8.0
    MIT
    Used by 0 other packages
    26 Sep 2025
  19. CLI utility for reading RPM package information (like rpm -qi)
    0.4.0
    MIT
    Used by 0 other packages
    30 Sep 2024
  20. RPM package metadata reader (powered by Eio)
    0.5.0
    MIT
    Used by 1 other packages
    27 Oct 2024
  21. RPM package metadata reader (powered by Angstrom)
    0.5.0
    MIT
    Used by 0 other packages
    27 Oct 2024
  22. 0.7.0
    ISC
    Used by 108 other packages
    06 Oct 2021
  23. 0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2023
  24. Library to read and write RSS files
    3.0
    LGPL-3.0-only
    Used by 1 other packages
    03 Aug 2021
  25. 3.17.3
    MIT
    Used by 0 other packages
    22 Jan 2026
  26. 0.1.1
    BSD-3-Clause
    Used by 0 other packages
    17 Aug 2023
  27. 1.0.0~alpha2
    ISC
    Used by 5 other packages
    26 Nov 2025
  28. Generates dune files to run benchmarks from centralised config
    0.0.1
    MIT
    Used by 0 other packages
    18 Feb 2021
  29. Tools for the runtime events tracing system in OCaml
    0.5.3
    ISC
    Used by 1 other packages
    29 Sep 2025
  30. Tools for the runtime events tracing system in OCaml
    0.5.3
    ISC
    Used by 0 other packages
    29 Sep 2025
  31. Bindings to the GETRUSAGE(2) syscall
    1.0.0
    MIT
    Used by 4 other packages
    19 Nov 2020
  32. Utility for generating Rust static libraries for OCaml projects
    0.2.2
    Apache-2.0
    Used by 0 other packages
    12 Nov 2024
  33. A Sentinel/marker package to define the rust staticlib virtual library
    0.2.2
    Apache-2.0
    Used by 1 other packages
    12 Nov 2024
  34. Snowflake : A Generic Symbolic Dynamic Programming framework
    0.02.03
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2022
  35. 4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  36. Symbolic Algorithms for Finite Automata
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    02 Feb 2016
  37. A type safe money manipulation library
    0.3.0
    MIT
    Used by 0 other packages
    27 Mar 2025
  38. Facilities for the safe storage of user passwords
    3.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    20 Mar 2021
  39. 1.0.0~alpha2
    ISC
    Used by 3 other packages
    26 Nov 2025
  40. sail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    0.20.1
    BSD-2-Clause
    Used by 0 other packages
    22 Dec 2025
  41. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  42. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  43. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  44. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  45. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  46. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  47. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  48. 0.20
    BSD-2-Clause
    Used by 1 other packages
    14 Oct 2025
  49. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  50. 0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025