4290 search results for "author:" ""

Showing 1101 - 1150
  1. 2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  2. Parses a C program into Cabs AST and dumps as an XML document
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  3. Combinators for binding to C libraries without writing any C
    0.24.0
    MIT
    Used by 142 other packages
    13 Nov 2025
  4. Support for building Ctypes bindings.
    0.0.2
    MIT
    Used by 2 other packages
    04 Aug 2016
  5. Dynamic access to foreign C libraries using Ctypes
    0.24.0
    MIT
    Used by 91 other packages
    13 Nov 2025
  6. 0.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Jul 2020
  7. Js_of_ocaml Javascript stubs for the OCaml ctypes library
    0.1
    MIT
    Used by 0 other packages
    29 Jan 2022
  8. SMT based model checker for parameterized systems
    1.2.0
    Apache-2.0
    Used by 0 other packages
    02 Nov 2022
  9. Cucumber BDD for OCaml
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  10. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    0.7.2
    MIT
    Used by 0 other packages
    20 Aug 2025
  11. 0.1.3
    LGPL-2.1-only
    Used by 1 other packages
    26 Sep 2025
  12. 0.10
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    23 Jul 2022
  13. A library to create cuesheet
    0.2.0-1
    MPL-2.0
    Used by 0 other packages
    01 Aug 2023
  14. 0.2
    MIT
    Used by 0 other packages
    04 Nov 2019
  15. Differential FRP based on the React library
    0.0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Oct 2020
  16. 1.0
    MIT
    Used by 0 other packages
    21 Oct 2025
  17. 0.10.0
    MIT
    Used by 7 other packages
    15 May 2025
  18. Bindings to libcurl (lwt variant)
    0.10.0
    MIT
    Used by 2 other packages
    15 May 2025
  19. Curly is a brain dead wrapper around the curl command line utility
    0.3.0
    ISC
    Used by 3 other packages
    01 Feb 2023
  20. current

    No documentation

    0.7.5
    Apache-2.0
    Used by 12 other packages
    18 Jun 2026
  21. An ocurrent plugin to deploy MirageOS unikernels
    1.0.0
    ISC
    Used by 0 other packages
    16 Nov 2022
  22. current_docker

    No documentation

    0.7.5
    Apache-2.0
    Used by 2 other packages
    18 Jun 2026
  23. current_examples

    No documentation

    0.7.5
    Apache-2.0
    Used by 0 other packages
    18 Jun 2026
  24. current_git

    No documentation

    0.7.5
    Apache-2.0
    Used by 6 other packages
    18 Jun 2026
  25. current_github

    No documentation

    0.7.5
    Apache-2.0
    Used by 2 other packages
    18 Jun 2026
  26. current_gitlab

    No documentation

    GitLab plugin for OCurrent
    0.7.5
    Apache-2.0
    Used by 1 other packages
    18 Jun 2026
  27. current_ocluster

    No documentation

    0.4.0
    Apache-2.0
    Used by 1 other packages
    13 May 2026
  28. current_rpc

    No documentation

    0.7.5
    Apache-2.0
    Used by 1 other packages
    18 Jun 2026
  29. current_slack

    No documentation

    0.7.5
    Apache-2.0
    Used by 0 other packages
    18 Jun 2026
  30. current_ssh

    No documentation

    0.7.5
    Apache-2.0
    Used by 1 other packages
    18 Jun 2026
  31. current_web

    No documentation

    0.7.5
    Apache-2.0
    Used by 6 other packages
    18 Jun 2026
  32. curses

    No documentation

    Bindings to ncurses
    1.0.12
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Apr 2026
  33. Sampling of parametric and implicit curves
    0.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2021
  34. OCaml bindings for the cvc5 SMT solver
    1.3.0
    MIT
    Used by 0 other packages
    26 Jun 2025
  35. Contact variational integrators - native ocaml version
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  36. DAGaml : Abstract DAG manipulation in OCaml
    0.02
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Nov 2021
  37. DkZero_Base

    No documentation

    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 2 other packages
    19 May 2026
  38. DkZero_Exec

    No documentation

    The single-threaded dk0 build system
    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 0 other packages
    19 May 2026
  39. DkZero_RuntimeC

    No documentation

    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 1 other packages
    19 May 2026
  40. DAFT Allows File Transfers
    0.0.4
    CeCILL-C
    Used by 0 other packages
    11 Jan 2023
  41. Debug adapter protocol
    1.0.6
    MIT
    Used by 2 other packages
    21 Feb 2021
  42. data-encoding

    No documentation

    Library of JSON and binary encoding combinators
    1.0.1
    MIT
    Used by 4 other packages
    21 Mar 2024
  43. A simple and type-safe dataframe api in pure ocaml
    0.1
    Used by 0 other packages
    22 Jun 2019
  44. 1.0.0
    Apache-1.0+
    Used by 1 other packages
    13 Jul 2019
  45. Build Datakit servers using the 9P filesystem protocol
    1.0.0
    Apache-1.0+
    Used by 0 other packages
    13 Jul 2019
  46. An in-memory datalog implementation for OCaml
    0.7
    BSD-2-Clause
    Used by 1 other packages
    18 Oct 2024
  47. 0.0.10
    Apache-2.0
    Used by 1 other packages
    14 May 2025
  48. A schedule, time and time slots handling library
    0.0.6
    MIT
    Used by 1 other packages
    22 Oct 2020
  49. 0.2.0
    GPL-3.0-or-later
    Used by 0 other packages
    04 Aug 2025
  50. 0.2.0
    ISC
    Used by 0 other packages
    06 Oct 2023