4511 search results for ""

Showing 3601 - 3650
  1. RPM package metadata reader (powered by Eio)
    0.5.0
    MIT
    Used by 1 other packages
    27 Oct 2024
  2. RPM package metadata reader (powered by Angstrom)
    0.5.0
    MIT
    Used by 0 other packages
    27 Oct 2024
  3. 0.7.0
    ISC
    Used by 107 other packages
    06 Oct 2021
  4. 0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2023
  5. Library to read and write RSS files
    3.0
    LGPL-3.0-only
    Used by 1 other packages
    03 Aug 2021
  6. 3.16.0
    MIT
    Used by 0 other packages
    07 Apr 2025
  7. 0.1.1
    BSD-3-Clause
    Used by 0 other packages
    17 Aug 2023
  8. Automatic differentiation and JIT compilation for OCaml
    1.0.0~alpha0
    ISC
    Used by 4 other packages
    05 Jul 2025
  9. Generates dune files to run benchmarks from centralised config
    0.0.1
    MIT
    Used by 0 other packages
    18 Feb 2021
  10. Tools for the runtime events tracing system in OCaml
    0.5.2
    ISC
    Used by 1 other packages
    24 Jun 2025
  11. Tools for the runtime events tracing system in OCaml
    0.5.2
    ISC
    Used by 0 other packages
    24 Jun 2025
  12. Bindings to the GETRUSAGE(2) syscall
    1.0.0
    MIT
    Used by 5 other packages
    19 Nov 2020
  13. Utility for generating Rust static libraries for OCaml projects
    0.2.2
    Apache-2.0
    Used by 0 other packages
    12 Nov 2024
  14. 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
  15. 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
  16. ASCII-based library for generating and querying source code
    0.1.0
    Apache-2.0
    Used by 0 other packages
    10 Jan 2024
  17. 4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  18. Symbolic Algorithms for Finite Automata
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    02 Feb 2016
  19. A type safe money manipulation library
    0.3.0
    MIT
    Used by 0 other packages
    27 Mar 2025
  20. 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
  21. sail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    0.19.1
    BSD-2-Clause
    Used by 0 other packages
    12 Jun 2025
  22. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  23. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  24. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  25. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  26. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  27. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  28. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  29. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  30. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  31. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  32. 0.19.1
    BSD-2-Clause
    Used by 1 other packages
    12 Jun 2025
  33. Salsa20 family of encryption functions, in pure OCaml
    1.2.0
    BSD-2-Clause
    Used by 0 other packages
    15 Aug 2021
  34. The Salsa20 core functions, in OCaml
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    15 Jul 2024
  35. 0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Mar 2025
  36. 0.1.11
    LGPL-2.1-only
    Used by 1 other packages
    09 Mar 2025
  37. 0.1.6
    BSD-2-Clause
    Used by 0 other packages
    03 Aug 2021
  38. A simple immutable database for the masses
    0.3.0
    MIT
    Used by 0 other packages
    23 Mar 2022
  39. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    0.0.9
    Used by 0 other packages
    15 Dec 2015
  40. GPGPU kernel DSL for OCaml
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  41. Static Analysis Results Interchange Format (SARIF) Version 2.1.0
    0.3.1
    MIT
    Used by 0 other packages
    28 Feb 2024
  42. String diagram generator for LaTeX
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    07 Nov 2023
  43. satML-plugin

    No documentation

    Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016
  44. Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
    0.1.0
    Used by 0 other packages
    06 Jan 2017
  45. Collection of concurent-safe data structures for Multicore OCaml
    1.0.0
    ISC
    Used by 1 other packages
    05 Dec 2024
  46. Collection of lock-free data structures for Multicore OCaml
    0.5.0
    ISC
    Used by 2 other packages
    22 Aug 2024
  47. A package manager for SATySFi
    0.0.2.13
    LGPL-3.0-or-later
    Used by 0 other packages
    26 Sep 2023
  48. A straightforward OAuth2 client
    0.4.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  49. Sawja provides a high level representation of Java bytecode programs and static analysis tools
    1.5.12
    GPL-3.0-or-later
    Used by 0 other packages
    25 Jan 2023
  50. 1.1.0
    BSL-1.0
    Used by 1 other packages
    22 Dec 2021