4291 search results for "author:" ""

Showing 1 - 50
  1. Basic control of ANSI compliant terminals and the windows shell
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    19 Jul 2022
  2. aacplus

    No documentation

    Bindings for the aacplus library which provides functions for decoding AAC audio files
    0.2.2
    Used by 0 other packages
    17 Aug 2015
  3. 0.0.5
    MIT
    Used by 0 other packages
    22 Dec 2023
  4. Interactive theorem prover based on lambda-tree syntax
    2.0.8
    GPL-3.0-only
    Used by 0 other packages
    01 Nov 2023
  5. 0.3
    LGPL-3.0-or-later
    Used by 0 other packages
    03 Jul 2023
  6. A small library describing abstract algebra concepts
    v0.16.0
    MIT
    Used by 1 other packages
    14 Jun 2023
  7. OCaml port of CMU's abstract binding trees
    0.0.3
    MIT
    Used by 0 other packages
    27 Apr 2017
  8. A library that makes it nicer to work with nested functional data structures
    v0.16.0
    MIT
    Used by 2 other packages
    14 Jun 2023
  9. Accessors for Async types, for use with the Accessor library
    v0.16.0
    MIT
    Used by 0 other packages
    14 Jun 2023
  10. Accessors for Base types, for use with the Accessor library
    v0.16.0
    MIT
    Used by 1 other packages
    14 Jun 2023
  11. Accessors for Core types, for use with the Accessor library
    v0.16.0
    MIT
    Used by 1 other packages
    14 Jun 2023
  12. Abstract Categorial Grammar development toolkit
    2.1.0
    CeCILL-1.0+
    Used by 0 other packages
    19 Feb 2024
  13. Caches (bounded-size stores) for in-memory values and for resources
    1.0.0
    MIT
    Used by 14 other packages
    30 Sep 2022
  14. Caches (bounded-size stores) for Lwt promises
    1.0.0
    MIT
    Used by 13 other packages
    30 Sep 2022
  15. A library to interact with the acme text editor.
    0.1
    BSD-3-Clause
    Used by 1 other packages
    29 Apr 2014
  16. ACP4: AutoCorrelation of Pharmacophore Features
    1.0.1
    GPL-3.0-only
    Used by 0 other packages
    07 Jan 2023
  17. Chemoinformatics tool for ligand-based virtual screening
    2.0.0
    BSD-3-Clause
    Used by 0 other packages
    13 Jan 2023
  18. Parser for the Adobe Font Metrics format
    1.0.0
    CeCILL-C
    Used by 0 other packages
    20 Feb 2024
  19. advi

    No documentation

    2.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    14 Apr 2021
  20. American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam
    2.57b
    Apache-2.0
    Used by 0 other packages
    21 Jun 2023
  21. Use afl-fuzz in persistent mode
    1.4
    MIT
    Used by 5 other packages
    23 May 2023
  22. ago(1) - compute the number of days between two calendar dates
    0.4
    BSD-3-Clause
    Used by 0 other packages
    13 Sep 2017
  23. String searching with errors
    1.0
    LGPL-2.0-or-later
    Used by 0 other packages
    21 Nov 2013
  24. Adjustable grid (two dimensional array) library
    0.1
    ISC
    Used by 1 other packages
    09 Mar 2021
  25. ahrocksdb

    No documentation

    0.2.2
    MIT
    Used by 0 other packages
    31 Jan 2019
  26. AIFAD - Automated Induction of Functions over Algebraic Datatypes
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    29 Mar 2022
  27. 0.4.4
    GPL-2.0-only
    Used by 0 other packages
    16 Dec 2020
  28. Albatross - orchestrate and manage MirageOS unikernels with Solo5
    2.0.0
    ISC
    Used by 0 other packages
    15 May 2023
  29. alberto

    No documentation

    OCaml interface to Erlang ports
    0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Mar 2015
  30. Alcotest is a lightweight and colourful test framework
    1.7.0
    ISC
    Used by 575 other packages
    27 Feb 2023
  31. Async-based helpers for Alcotest
    1.7.0
    ISC
    Used by 5 other packages
    27 Feb 2023
  32. Virtual package containing optional JavaScript dependencies for Alcotest
    1.7.0
    ISC
    Used by 0 other packages
    27 Feb 2023
  33. Lwt-based helpers for Alcotest
    1.7.0
    ISC
    Used by 146 other packages
    27 Feb 2023
  34. Mirage implementation for Alcotest
    1.7.0
    ISC
    Used by 0 other packages
    27 Feb 2023
  35. Interfaces and module combinators for algebraic structures
    0.1.3
    MIT
    Used by 1 other packages
    29 Oct 2019
  36. Provides qCheck generators for laws of alg_structs
    0.1.3
    MIT
    Used by 0 other packages
    29 Oct 2019
  37. Reusable Effects-Based Components
    2.0.0
    Apache-2.0
    Used by 3 other packages
    07 Nov 2023
  38. In memory indexes
    0.0.5
    MIT
    Used by 0 other packages
    10 Jan 2014
  39. 0.4.0
    ISC
    Used by 0 other packages
    04 Apr 2022
  40. Bindings for the ALSA library which provides functions for using soundcards
    0.3.0
    GPL-2.0-only
    Used by 0 other packages
    09 Aug 2020
  41. 2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    21 Mar 2024
  42. alt-ergo-free

    No documentation

    The Alt-Ergo SMT prover
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    26 Jul 2022
  43. The Alt-Ergo SMT prover library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    21 Mar 2024
  44. alt-ergo-lib-free

    No documentation

    The Alt-Ergo SMT prover library
    2.3.3.dune3
    Apache-2.0
    Used by 2 other packages
    26 Jul 2022
  45. The Alt-Ergo SMT prover parser library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    21 Mar 2024
  46. alt-ergo-parsers-free

    No documentation

    The Alt-Ergo SMT prover parser library
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    26 Jul 2022
  47. An experimental Why3 frontend for Alt-Ergo
    2.5.3
    LGPL-2.1-only
    Used by 0 other packages
    21 Mar 2024
  48. The GUI for the Alt-Ergo SMT prover
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  49. amf

    No documentation

    Parser/serializer for Adobe's Action Message Format
    0.1.2
    LGPL with OCaml linking exception
    Used by 0 other packages
    12 Sep 2019
  50. Amqp client base library
    2.3.0
    BSD-3-Clause
    Used by 2 other packages
    21 Dec 2023