4425 search results for "author:" ""

Showing 3551 - 3600
  1. 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
  2. 1.0.0~alpha2
    ISC
    Used by 3 other packages
    26 Nov 2025
  3. 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
  4. sail_c_backend

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  11. 0.20
    BSD-2-Clause
    Used by 1 other packages
    14 Oct 2025
  12. sail_ocaml_backend

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  16. Salsa20 family of encryption functions, in pure OCaml
    1.2.0
    BSD-2-Clause
    Used by 0 other packages
    15 Aug 2021
  17. The Salsa20 core functions, in OCaml
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    15 Jul 2024
  18. salto-analyzer

    No documentation

    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    23 Nov 2025
  19. 0.2.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Nov 2025
  20. 0.1.6
    BSD-2-Clause
    Used by 0 other packages
    03 Aug 2021
  21. A simple immutable database for the masses
    0.3.0
    MIT
    Used by 0 other packages
    23 Mar 2022
  22. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    0.0.9
    Used by 0 other packages
    15 Dec 2015
  23. GPGPU kernel DSL for OCaml
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  24. Static Analysis Results Interchange Format (SARIF) Version 2.1.0
    0.3.1
    MIT
    Used by 0 other packages
    28 Feb 2024
  25. String diagram generator for LaTeX
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    07 Nov 2023
  26. 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
  27. Collection of concurent-safe data structures for Multicore OCaml
    1.0.0
    ISC
    Used by 1 other packages
    05 Dec 2024
  28. Collection of lock-free data structures for Multicore OCaml
    0.5.0
    ISC
    Used by 2 other packages
    22 Aug 2024
  29. A package manager for SATySFi
    0.0.2.13
    LGPL-3.0-or-later
    Used by 0 other packages
    26 Sep 2023
  30. A straightforward OAuth2 client
    0.4.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  31. 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
  32. 1.1.0
    BSL-1.0
    Used by 1 other packages
    22 Dec 2021
  33. OCaml library and executable to work with the scfg configuration file format
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  34. 1.0
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2019
  35. schroedinger

    No documentation

    Bindings for the schroedinger library to decode video files in Dirac format
    0.1.1
    Used by 0 other packages
    17 Aug 2015
  36. Sierra Chart's Intraday Data File Format library
    1.0
    ISC
    Used by 0 other packages
    22 Feb 2017
  37. SciPy scientific computing library for OCaml
    sp1.5-0.3.1
    BSD-3-Clause
    Used by 1 other packages
    08 Dec 2020
  38. OCaml Image File Viewer
    1.1
    MIT
    Used by 0 other packages
    11 Sep 2025
  39. C bindings and a high level interface to the official scrypt distribution.
    0.2.1
    BSD-2-Clause
    Used by 0 other packages
    19 Dec 2013
  40. 1.2.0
    BSD-2-Clause
    Used by 2 other packages
    15 Aug 2021
  41. Functionality for time-based finite state machine
    0.1
    MIT
    Used by 0 other packages
    07 Jan 2022
  42. Virtual package installing liquidsoap dependencies for SDL optional features
    3
    GPL-2.0-or-later
    Used by 0 other packages
    25 Jul 2023
  43. Simple, in-memory search library in pure OCaml
    0.1.1
    MIT
    Used by 0 other packages
    11 Jan 2023
  44. A module to easily implement search trees
    0.1
    GPL-3.0-or-later
    Used by 0 other packages
    08 Feb 2022
  45. secp256k1

    No documentation

    0.5.0
    MIT
    Used by 2 other packages
    20 Dec 2025
  46. Bindings to secp256k1 internal functions (generic operations on the curve)
    0.4.0
    MIT
    Used by 4 other packages
    22 Sep 2022
  47. 3.7
    MIT
    Used by 42 other packages
    08 Oct 2025
  48. 20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  49. 0.8.0
    MIT
    Used by 2 other packages
    03 Dec 2025
  50. Unix process snapshotting library
    0.1
    MIT
    Used by 0 other packages
    18 Nov 2024