4650 search results for ""

Showing 3701 - 3750
  1. rocq-native

    No documentation

    Package flag enabling rocq's native-compiler flag
    1
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2025
  2. rocq-prover

    No documentation

    meta.1
    LGPL-2.1-only
    Used by 0 other packages
    07 Jan 2026
  3. The Rocq Prover -- Core Binaries and Tools
    9.1.0
    LGPL-2.1-only
    Used by 5 other packages
    14 Oct 2025
  4. The Rocq Proof Assistant -- Standard Library
    9.0.0
    LGPL-2.1-only
    Used by 5 other packages
    20 Mar 2025
  5. 9.1.0
    LGPL-2.1-only
    Used by 0 other packages
    14 Oct 2025
  6. Manipulate roman numerals (ocaml.org dune/opam tutorial)
    0.2
    BSD-2-Clause
    Used by 0 other packages
    28 Apr 2021
  7. 0.5.1
    ISC
    Used by 0 other packages
    07 Sep 2018
  8. Ropes (heavyweight strings)
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  9. String manipulation library
    0.2.0
    MIT
    Used by 0 other packages
    30 May 2022
  10. 0.4.0
    MIT
    Used by 5 other packages
    28 Nov 2025
  11. 0.1
    MIT
    Used by 0 other packages
    29 Aug 2019
  12. Typed routing for OCaml applications
    2.0.0
    BSD-3-clause
    Used by 4 other packages
    11 Oct 2022
  13. 9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  14. Type-safe parallel library built on top of Async_rpc
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  15. rpclib

    No documentation

    10.0.0
    ISC
    Used by 7 other packages
    02 Jan 2026
  16. rpclib-async

    No documentation

    A library to deal with RPCs in OCaml - Async interface
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  17. rpclib-html

    No documentation

    A library to deal with RPCs in OCaml - html documentation generator
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  18. rpclib-js

    No documentation

    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
  19. rpclib-lwt

    No documentation

    A library to deal with RPCs in OCaml - Lwt interface
    10.0.0
    ISC
    Used by 0 other packages
    02 Jan 2026
  20. 0.8.0
    MIT
    Used by 0 other packages
    26 Sep 2025
  21. CLI utility for reading RPM package information (like rpm -qi)
    0.4.0
    MIT
    Used by 0 other packages
    30 Sep 2024
  22. RPM package metadata reader (powered by Eio)
    0.5.0
    MIT
    Used by 1 other packages
    27 Oct 2024
  23. RPM package metadata reader (powered by Angstrom)
    0.5.0
    MIT
    Used by 0 other packages
    27 Oct 2024
  24. 0.7.0
    ISC
    Used by 108 other packages
    06 Oct 2021
  25. 0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2023
  26. Library to read and write RSS files
    3.0
    LGPL-3.0-only
    Used by 1 other packages
    03 Aug 2021
  27. 3.17.2
    MIT
    Used by 0 other packages
    03 Dec 2025
  28. 0.1.1
    BSD-3-Clause
    Used by 0 other packages
    17 Aug 2023
  29. 1.0.0~alpha2
    ISC
    Used by 5 other packages
    26 Nov 2025
  30. Generates dune files to run benchmarks from centralised config
    0.0.1
    MIT
    Used by 0 other packages
    18 Feb 2021
  31. Tools for the runtime events tracing system in OCaml
    0.5.3
    ISC
    Used by 1 other packages
    29 Sep 2025
  32. Tools for the runtime events tracing system in OCaml
    0.5.3
    ISC
    Used by 0 other packages
    29 Sep 2025
  33. Bindings to the GETRUSAGE(2) syscall
    1.0.0
    MIT
    Used by 5 other packages
    19 Nov 2020
  34. Utility for generating Rust static libraries for OCaml projects
    0.2.2
    Apache-2.0
    Used by 0 other packages
    12 Nov 2024
  35. 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
  36. 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
  37. ASCII-based library for generating and querying source code
    0.1.0
    Apache-2.0
    Used by 0 other packages
    10 Jan 2024
  38. 4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  39. Symbolic Algorithms for Finite Automata
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    02 Feb 2016
  40. A type safe money manipulation library
    0.3.0
    MIT
    Used by 0 other packages
    27 Mar 2025
  41. 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
  42. 1.0.0~alpha2
    ISC
    Used by 3 other packages
    26 Nov 2025
  43. 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
  44. sail_c_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  45. sail_coq_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  46. sail_doc_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  47. sail_latex_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  48. sail_lean_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  49. sail_lem_backend

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  50. sail_maker

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025