4383 search results for "author:" ""

Showing 551 - 600
  1. Model finder for geometric theories using the chase
    1.5
    BSD-3-Clause
    Used by 0 other packages
    27 Jan 2023
  2. An OCaml library for checked integer arithmetic
    1.0.0
    Unlicense
    Used by 1 other packages
    15 May 2025
  3. Adler-32, CRC32 and CRC32-C implementation in C and OCaml
    0.5.2
    MIT
    Used by 14 other packages
    18 Sep 2023
  4. 1.0.1
    MIT
    Used by 0 other packages
    05 Sep 2025
  5. Choice monad, for easy backtracking
    0.4
    Used by 0 other packages
    11 Nov 2019
  6. Chrome trace event generation library
    3.20.2
    MIT
    Used by 1 other packages
    10 Sep 2025
  7. Trivial metaprogramming tool
    v0.15.1
    MIT
    Used by 6 other packages
    12 Feb 2021
  8. 4.8.0
    BSD-2-Clause
    Used by 2 other packages
    07 Sep 2022
  9. 0.26
    BSD-2-Clause
    Used by 1 other packages
    17 Jul 2020
  10. Command-Line Argument Parsing, imperative style with a consumption mechanism
    0.3.0
    MIT
    Used by 3 other packages
    27 Mar 2023
  11. Clarity smart contract parser and AST
    0.1.0
    Unlicense
    Used by 0 other packages
    03 Oct 2020
  12. Verifiable Delay Functions bindings to Chia's VDF
    0.0.5
    MIT
    Used by 2 other packages
    18 Oct 2024
  13. 1.2.1
    ISC
    Used by 0 other packages
    19 Sep 2025
  14. Command Line Interface Maker
    0.3.0
    Apache-2.0
    Used by 1 other packages
    25 Sep 2020
  15. Derivates cmdliner terms from type definitions
    0.3.0
    Apache-2.0
    Used by 0 other packages
    25 Sep 2020
  16. Declarative command-line parser for OCaml
    0.8.6
    MIT
    Used by 1 other packages
    05 Nov 2025
  17. 0.2.0
    MIT
    Used by 0 other packages
    13 Nov 2023
  18. 2.0.7
    MIT
    Used by 0 other packages
    22 Nov 2023
  19. clp_operations

    No documentation

    A Clp domain
    0.0.1
    Used by 0 other packages
    12 Oct 2021
  20. Compression support for cohttp-lwt client using decompress
    0.1.0
    MIT
    Used by 1 other packages
    15 Dec 2021
  21. OCaml bindings for the CMark Common Markdown parsing and rendering library.
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    23 Mar 2016
  22. Bindings for a local installation of CMark
    0.3.0
    BSD-2-Clause
    Used by 0 other packages
    27 Aug 2019
  23. 0.4.0
    ISC
    Used by 11 other packages
    03 Nov 2025
  24. Declarative Command-line Parsing for OCaml
    0.0.10
    MIT
    Used by 10 other packages
    26 Sep 2025
  25. Cmdlang runner for programs using [Err] with a cmdliner backend
    0.0.16
    MIT
    Used by 2 other packages
    26 Sep 2025
  26. A basic execution runner for cmdlang based on stdlib.arg
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  27. Convert cmdlang Parsers to core.command
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  28. Convert cmdlang Parsers to climate
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  29. Convert cmdlang Parsers to cmdliner
    0.0.10
    MIT
    Used by 2 other packages
    26 Sep 2025
  30. Declarative definition of command line interfaces for OCaml
    2.0.0
    ISC
    Used by 292 other packages
    29 Sep 2025
  31. A collection of cmdliner terms to control OCaml runtime parameters
    1.0.1
    ISC
    Used by 0 other packages
    11 Oct 2024
  32. Interactive command completion and execution for building REPLs
    0.4.3
    ISC
    Used by 1 other packages
    07 Aug 2017
  33. Interactive command completion and execution for building REPLs
    0.4.3
    ISC
    Used by 0 other packages
    07 Aug 2017
  34. A library for printing OCaml values with sharing
    0.2
    MIT
    Used by 0 other packages
    01 Apr 2022
  35. OCaml CoAP core library
    0.1.0
    ISC
    Used by 0 other packages
    08 Apr 2024
  36. OCaml CoAP core library
    0.1.0
    ISC
    Used by 2 other packages
    08 Apr 2024
  37. OCaml CoAP core library
    0.1.0
    ISC
    Used by 1 other packages
    08 Apr 2024
  38. Consistent Overhead Byte Stuffing (COBS) encoding and decoding
    0.1.1
    MIT
    Used by 0 other packages
    12 Jun 2024
  39. Coccinelle is a C source code matching and transformation engine
    1.3.0
    GPL-2.0-only
    Used by 0 other packages
    19 Nov 2024
  40. Alternative ocaml dependency analyzer
    0.12.2
    GPL-3.0-or-later
    Used by 0 other packages
    28 Oct 2025
  41. Alternative ocaml dependency analyzer
    0.12.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    28 Oct 2025
  42. Icons from VS code
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  43. 6.1.1
    ISC
    Used by 71 other packages
    09 Jun 2025
  44. CoHTTP implementation for the Async concurrency library
    6.1.1
    ISC
    Used by 19 other packages
    09 Jun 2025
  45. 6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  46. Shared code between the individual cohttp-curl clients
    6.1.1
    ISC
    Used by 2 other packages
    09 Jun 2025
  47. 6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  48. 6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  49. 6.1.1
    ISC
    Used by 8 other packages
    09 Jun 2025
  50. CoHTTP implementation using the Lwt concurrency library
    6.1.1
    ISC
    Used by 41 other packages
    09 Jun 2025