4288 search results for "author:" ""

Showing 1 - 50
  1. ANSITerminal

    No documentation

    Basic control of ANSI compliant terminals and the windows shell
    terminal
    Christophe Troestler Vincent Hugot
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    19 Jul 2022
  2. aacplus

    No documentation

    Bindings for the aacplus library which provides functions for decoding AAC audio files
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.2.2
    Used by 0 other packages
    17 Aug 2015
  3. aarch64-esperanto

    No documentation

    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 0 other packages
    13 Aug 2024
  4. abella

    No documentation

    Interactive theorem prover based on lambda-tree syntax
    Andrew Gacek Yuting Wang Kaustuv Chaudhuri
    2.0.8
    GPL-3.0-only
    Used by 0 other packages
    01 Nov 2023
  5. absolute

    No documentation

    AbSolute solver
    Marie Pelleau <marie.pelleau@i3s.unice.fr> Ghiles Ziat <ghiles.ziat@epita.fr>
    0.3
    LGPL-3.0-or-later
    Used by 0 other packages
    03 Jul 2023
  6. abstract_algebra

    No documentation

    A small library describing abstract algebra concepts
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  7. accessor

    No documentation

    A library that makes it nicer to work with nested functional data structures
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  8. accessor_async

    No documentation

    Accessors for Async types, for use with the Accessor library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  9. accessor_base

    No documentation

    Accessors for Base types, for use with the Accessor library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  10. accessor_core

    No documentation

    Accessors for Core types, for use with the Accessor library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  11. acgtk

    No documentation

    Abstract Categorial Grammar development toolkit
    Sylvain Pogodalla
    2.1.0
    CeCILL-1.0+
    Used by 0 other packages
    19 Feb 2024
  12. aches

    No documentation

    Caches (bounded-size stores) for in-memory values and for resources
    Nomadic Labs
    1.1.0
    MIT
    Used by 16 other packages
    14 Jun 2024
  13. aches-lwt

    No documentation

    Caches (bounded-size stores) for Lwt promises
    Nomadic Labs
    1.1.0
    MIT
    Used by 15 other packages
    14 Jun 2024
  14. acp4

    No documentation

    ACP4: AutoCorrelation of Pharmacophore Features
    Francois Berenger
    1.1.0
    GPL-3.0-only
    Used by 0 other packages
    05 Dec 2024
  15. acpc

    No documentation

    Chemoinformatics tool for ligand-based virtual screening
    Francois Berenger
    2.0.0
    BSD-3-Clause
    Used by 0 other packages
    13 Jan 2023
  16. activitypub

    No documentation

    ActivityPub in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 2 other packages
    14 Oct 2024
  17. activitypub_client

    No documentation

    ActivityPub client in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    14 Oct 2024
  18. activitypub_gui

    No documentation

    Simple ActivityPub client gui in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    14 Oct 2024
  19. activitypub_server

    No documentation

    ActivityPub server in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    14 Oct 2024
  20. activitypub_server_gui

    No documentation

    ActivityPub server in OCaml, admin GUI
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 0 other packages
    14 Oct 2024
  21. adelfa

    No documentation

    Proof assistant for reasoning about LF specifications
    Mary Southern Chase Johnson <joh13266@umn.edu>
    0.1
    GPL-3.0-only
    Used by 0 other packages
    24 Oct 2024
  22. adobe_font_metrics

    No documentation

    Parser for the Adobe Font Metrics format
    topics font afm
    Philippe Veber
    1.0.0
    CeCILL-C
    Used by 0 other packages
    20 Feb 2024
  23. advi

    No documentation

    Active DVI Dune package!
    Alexandre Miquel Jun Furuse Didier Rémy Pierre Weis Xavier Leroy et al.
    2.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    14 Apr 2021
  24. afl

    No documentation

    American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam
    Michal Zalewski
    2.57b
    Apache-2.0
    Used by 0 other packages
    21 Jun 2023
  25. afl-persistent

    No documentation

    Use afl-fuzz in persistent mode
    Stephen Dolan
    1.4
    MIT
    Used by 5 other packages
    23 May 2023
  26. ago

    No documentation

    ago(1) - compute the number of days between two calendar dates
    Christian Lindig <lindig@gmail.com>
    0.4
    BSD-3-Clause
    Used by 0 other packages
    13 Sep 2017
  27. agrid

    No documentation

    Adjustable grid (two dimensional array) library
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 1 other packages
    09 Mar 2021
  28. ahrocksdb

    No documentation

    A binding to RocksDB
    Enguerrand Decorne <enguerrand.decorne@ahrefs.com>
    0.2.2
    MIT
    Used by 0 other packages
    31 Jan 2019
  29. aifad

    No documentation

    AIFAD - Automated Induction of Functions over Algebraic Datatypes
    Markus Mottl <markus.mottl@gmail.com>
    2.3.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Nov 2024
  30. alba

    No documentation

    Alba compiler
    Helmut Brandl <helmut.brandl@gmx.net>
    0.4.4
    GPL-2.0-only
    Used by 0 other packages
    16 Dec 2020
  31. albatross

    No documentation

    Albatross - orchestrate and manage MirageOS unikernels with Solo5
    Hannes Mehnert <hannes@mehnert.org>
    2.4.1
    ISC
    Used by 0 other packages
    12 Feb 2025
  32. alcotest

    No documentation

    Alcotest is a lightweight and colourful test framework
    Thomas Gazagnaire
    1.9.0
    ISC
    Used by 604 other packages
    18 Mar 2025
  33. alcotest-async

    No documentation

    Async-based helpers for Alcotest
    Thomas Gazagnaire
    1.9.0
    ISC
    Used by 5 other packages
    18 Mar 2025
  34. alcotest-js

    No documentation

    Virtual package containing optional JavaScript dependencies for Alcotest
    Thomas Gazagnaire
    1.9.0
    ISC
    Used by 0 other packages
    18 Mar 2025
  35. alcotest-lwt
    Documentation
    Lwt-based helpers for Alcotest
    Thomas Gazagnaire
    1.9.0
    ISC
    Used by 120 other packages
    18 Mar 2025
  36. alcotest-mirage
    Documentation
    Mirage implementation for Alcotest
    Thomas Gazagnaire
    1.9.0
    ISC
    Used by 0 other packages
    18 Mar 2025
  37. alg_structs

    No documentation

    Interfaces and module combinators for algebraic structures
    Shon Feder
    0.1.3
    MIT
    Used by 1 other packages
    29 Oct 2019
  38. alg_structs_qcheck

    No documentation

    Provides qCheck generators for laws of alg_structs
    Shon Feder
    0.1.3
    MIT
    Used by 0 other packages
    29 Oct 2019
  39. algaeff

    No documentation

    Reusable Effects-Based Components
    The RedPRL Development Team
    2.0.0
    Apache-2.0
    Used by 3 other packages
    07 Nov 2023
  40. aliases

    No documentation

    In memory indexes
    Hugo Heuzard
    0.0.5
    MIT
    Used by 0 other packages
    10 Jan 2014
  41. allegro5

    No documentation

    OCaml Allegro 5
    Sylvain Chiron <chironsylvain@orange.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    09 Mar 2025
  42. alonzo

    No documentation

    STLC type system
    Oleh Marakhovskyi @jealrock
    0.4.0
    ISC
    Used by 0 other packages
    04 Apr 2022
  43. alsa

    No documentation

    Bindings for the ALSA library which provides functions for using soundcards
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.3.0
    GPL-2.0-only
    Used by 0 other packages
    09 Aug 2020
  44. alt-ergo

    No documentation

    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  45. alt-ergo-free

    No documentation

    Alt-Ergo, an SMT Solver for Software Verification
    Alt-Ergo developers
    2.2.0
    Apache-2.0
    Used by 1 other packages
    16 Jun 2020
  46. alt-ergo-lib

    No documentation

    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  47. alt-ergo-parsers

    No documentation

    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    14 May 2025
  48. alt-ergo-plugin-ab-why3

    No documentation

    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LGPL-2.1-only
    Used by 0 other packages
    14 May 2025
  49. altgr-ergo

    No documentation

    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 0 other packages
    27 Apr 2023
  50. amqp-client

    No documentation

    Amqp client base library
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 2 other packages
    21 Dec 2023
1 2 3 ... 86