4218 search results for "author:" ""

Showing 451 - 500
  1. A derivation explorer and logger for menhir parser
    2.1
    GPL-2.0-or-later
    Used by 0 other packages
    13 Dec 2025
  2. 0.6.5
    LGPL-3.0-or-later
    Used by 15 other packages
    12 Nov 2024
  3. 0.6.5
    LGPL-3.0-or-later
    Used by 1 other packages
    12 Nov 2024
  4. 0.6.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  5. A platform for characterizing the safety and robustness of artificial intelligence based software
    5.0
    LGPL-2.1-only
    Used by 0 other packages
    03 Mar 2026
  6. 0.2
    LGPL-2.1-only
    Used by 2 other packages
    27 Jun 2023
  7. 0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  8. 0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  9. 0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  10. 0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
  11. calcium

    No documentation

    Deprecated use flint
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  12. 0.2.4
    ISC
    Used by 0 other packages
    19 Mar 2025
  13. Library for handling dates and times in your program
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    12 Oct 2022
  14. 2.0.0
    GPL-2.0-only
    Used by 0 other packages
    29 Jan 2026
  15. Rewrites C programs to remove non-structured control-flow
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  16. CaLLi : OCaml Library for Static Analysis of LLVM bitcode
    0.2
    MIT
    Used by 0 other packages
    06 Dec 2023
  17. Pure OCaml implementation of Curve25519
    0.2
    MIT
    Used by 1 other packages
    04 Sep 2018
  18. 2.0.1
    Apache-2.0
    Used by 0 other packages
    13 Feb 2025
  19. A Ocaml library for word case conversion
    0.4
    MIT
    Used by 0 other packages
    14 Dec 2018
  20. 4.9
    GPL-2.0-or-later
    Used by 1 other packages
    09 Sep 2021
  21. transition
    LGPL-3.0-or-later with OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Apr 2024
  22. A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order
    0.3
    BSD-3-clause
    Used by 0 other packages
    07 Apr 2025
  23. Interface to Alan Murta's General Polygon Clipper
    1.2
    MIT
    Used by 0 other packages
    17 Jan 2025
  24. OCaml library for generating C stubs
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    11 Dec 2025
  25. Stub code generator for OCaml
    1.13
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    13 Jun 2025
  26. camlimages

    No documentation

    Image processing library
    5.0.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    18 Dec 2023
  27. camlkit

    No documentation

    0.3.0
    ISC
    Used by 0 other packages
    05 Nov 2024
  28. camlkit-base

    No documentation

    OCaml bindings to the Objective-C runtime and some base frameworks
    0.3.0
    ISC
    Used by 2 other packages
    05 Nov 2024
  29. camlkit-gui

    No documentation

    OCaml bindings to AppKit and other gui frameworks
    0.3.0
    ISC
    Used by 1 other packages
    05 Nov 2024
  30. Utility Library (including various datatypes)
    1.3.3
    LGPL-2.1-only
    Used by 1 other packages
    11 Mar 2021
  31. Camlmix is a generic preprocessor which converts text with embedded
    1.3.0
    BSD-3-Clause
    Used by 0 other packages
    21 Nov 2013
  32. Caml Object Notion, parsing and printing OCaml like data expressions
    3.1.0
    MIT
    Used by 0 other packages
    27 Jul 2022
  33. The Stream and Genlex libraries for use with Camlp4 and Camlp5
    5.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 56 other packages
    27 Jun 2022
  34. Camlp4 is a system for writing extensible parsers for programming languages
    5.4
    LGPL-2.1-only
    Used by 53 other packages
    07 Oct 2025
  35. Preprocessor-pretty-printer of OCaml
    8.04.00
    BSD-3-Clause
    Used by 28 other packages
    09 Oct 2025
  36. Camlp5 Build scripts (written in OCaml)
    0.06
    BSD-3-Clause
    Used by 11 other packages
    02 Apr 2025
  37. Read, write and modify PDF files
    2.9
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    16 Mar 2026
  38. Primality testing with lazy lists of prime numbers
    0.5
    GPL-2.0-or-later
    Used by 0 other packages
    02 Dec 2014
  39. 0.10.1
    MIT
    Used by 1 other packages
    12 Feb 2022
  40. 0.9.8
    Apache-2.0
    Used by 1 other packages
    28 Aug 2018
  41. Accessing compressed files in ZIP, GZIP and JAR format
    1.14
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 40 other packages
    09 Feb 2026
  42. A Unicode library
    2.0.0
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    22 Mar 2023
  43. 0.4.4
    MIT
    Used by 0 other packages
    07 Apr 2025
  44. Capture unhandled exceptions and automatically report them through various channels
    0.0.4
    GPL-2.0-or-later
    Used by 0 other packages
    23 Feb 2026
  45. Defines case conventions and functions to rename identifiers according to them
    v0.17.0
    MIT
    Used by 1 other packages
    23 May 2024
  46. OCaml code generation plugin for the Cap'n Proto serialization framework
    3.6.0
    BSD-2-Clause
    Used by 4 other packages
    21 Jul 2023
  47. Cap'n Proto is a capability-based RPC system with bindings for many languages
    2.1.1
    Apache-2.0
    Used by 4 other packages
    28 Jan 2026
  48. Cap'n Proto is a capability-based RPC system with bindings for many languages
    2.0
    Apache-2.0
    Used by 5 other packages
    02 Dec 2024
  49. Cap'n Proto is a capability-based RPC system with bindings for many languages
    2.1.1
    Apache-2.0
    Used by 2 other packages
    28 Jan 2026
  50. Cap'n Proto is a capability-based RPC system with bindings for many languages
    2.1.1
    Apache-2.0
    Used by 1 other packages
    28 Jan 2026