4586 search results for ""

Showing 1 - 50
  1. 0install
    Documentation
    Decentralised installation system
    zero-install-devel@lists.sourceforge.net
    2.18
    LGPL-2.1-or-later
    Used by 1 other packages
    Added to opam-repository
  2. 0install-gtk
    Documentation
    Decentralised installation system - GTK UI
    zero-install-devel@lists.sourceforge.net
    2.18
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  3. 0install-solver
    Documentation
    Package dependency solver
    zero-install-devel@lists.sourceforge.net
    2.18
    LGPL-2.1-or-later
    Used by 3 other packages
    Added to opam-repository
  4. ANSITerminal
    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 15 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. aarch64-esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 0 other packages
    Added to opam-repository
  7. abella
    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
    Added to opam-repository
  8. absolute
    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
    Added to opam-repository
  9. abstract_algebra
    Documentation
    A small library describing abstract algebra concepts
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. accessor
    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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. accessor_base
    Documentation
    Accessors for Base types, for use with the Accessor library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. acgtk
    Documentation
    Abstract Categorial Grammar development toolkit
    Sylvain Pogodalla
    2.2.0
    CeCILL-1.0+
    Used by 0 other packages
    Added to opam-repository
  15. aches
    Documentation
    Caches (bounded-size stores) for in-memory values and for resources
    Nomadic Labs
    1.1.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  16. aches-lwt
    Documentation
    Caches (bounded-size stores) for Lwt promises
    Nomadic Labs
    1.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. acp4
    Documentation
    ACP4: AutoCorrelation of Pharmacophore Features
    Francois Berenger
    1.1.0
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  18. acpc
    Documentation
    Chemoinformatics tool for ligand-based virtual screening
    Francois Berenger
    2.0.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  19. activitypub

    No documentation

    ActivityPub in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  20. activitypub_client

    No documentation

    ActivityPub client in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. activitypub_server

    No documentation

    ActivityPub server in OCaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. adelfa
    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
    Added to opam-repository
  25. adobe_font_metrics
    Documentation
    Parser for the Adobe Font Metrics format
    topics font afm
    Philippe Veber
    1.0.0
    CeCILL-C
    Used by 0 other packages
    Added to opam-repository
  26. advi
    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
    Added to opam-repository
  27. aez
    Documentation
    Alt-Ergo Zero is an OCaml library for an SMT solver.
    0.3
    Used by 0 other packages
    Added to opam-repository
  28. affect
    Documentation
    Streamlined and natural concurrency model for OCaml
    effects concurrency parallelism fibers org:erratique cml unix
    The affect programmers
    0.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. afl-persistent
    Documentation
    Use afl-fuzz in persistent mode
    Stephen Dolan
    1.4
    MIT
    Used by 7 other packages
    Added to opam-repository
  31. ago
    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
    Added to opam-repository
  32. agrid
    Documentation
    Adjustable grid (two dimensional array) library
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  33. ahrocksdb

    No documentation

    A binding to RocksDB
    Enguerrand Decorne <enguerrand.decorne@ahrefs.com>
    0.2.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  34. ai-sdk-react
    Documentation
    Melange bindings for @ai-sdk/react
    Ahrefs
    0.5
    MIT
    Used by 0 other packages
    Added to opam-repository
  35. aifad
    Documentation
    AIFAD - Automated Induction of Functions over Algebraic Datatypes
    Markus Mottl <markus.mottl@gmail.com>
    2.3.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  36. aio
    Documentation
    Linux kernel AIO access library for ocaml
    org:mirage org:xapi-project
    0.0.3
    Used by 0 other packages
    Added to opam-repository
  37. alba
    Documentation
    Alba compiler
    Helmut Brandl <helmut.brandl@gmx.net>
    0.4.4
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  38. albatross
    Documentation
    Albatross - orchestrate and manage MirageOS unikernels with Solo5
    Hannes Mehnert <hannes@mehnert.org>
    2.8.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  39. alcobar
    Documentation
    Write tests, let a fuzzer find failing cases
    Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
    0.3.1
    MIT
    Used by 4 other packages
    Added to opam-repository
  40. alcotest
    Documentation
    Alcotest is a lightweight and colourful test framework
    Thomas Gazagnaire
    1.9.1
    ISC
    Used by 696 other packages
    Added to opam-repository
  41. alcotest-async
    Documentation
    Async-based helpers for Alcotest
    Thomas Gazagnaire
    1.9.1
    ISC
    Used by 5 other packages
    Added to opam-repository
  42. alcotest-js
    Documentation
    Virtual package containing optional JavaScript dependencies for Alcotest
    Thomas Gazagnaire
    1.9.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  43. alcotest-lwt
    Documentation
    Lwt-based helpers for Alcotest
    Thomas Gazagnaire
    1.9.1
    ISC
    Used by 88 other packages
    Added to opam-repository
  44. alcotest-mirage
    Documentation
    Mirage implementation for Alcotest
    Thomas Gazagnaire
    1.9.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  45. alg_structs
    Documentation
    Interfaces and module combinators for algebraic structures
    Shon Feder
    0.1.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  46. alg_structs_qcheck
    Documentation
    Provides qCheck generators for laws of alg_structs
    Shon Feder
    0.1.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  47. algaeff
    Documentation
    Reusable Effects-Based Components
    The RedPRL Development Team
    2.0.0
    Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  48. aliases
    Documentation
    In memory indexes
    Hugo Heuzard
    0.0.5
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. alice
    Documentation
    Radical OCaml build system and environment manager
    Stephen Sherratt <stephen@sherra.tt>
    0.5.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  50. allegro5
    Documentation
    OCaml Allegro 5
    Sylvain Chiron <chironsylvain@orange.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
1 2 3 ... 92