4683 search results for ""

Showing 51 - 100
  1. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    21 Mar 2024
  2. alt-ergo-parsers-free

    No documentation

    The Alt-Ergo SMT prover parser library
    Alt-Ergo developers
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    26 Jul 2022
  3. alt-ergo-plugin-ab-why3
    Documentation
    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers
    2.5.3
    LGPL-2.1-only
    Used by 0 other packages
    21 Mar 2024
  4. altgr-ergo
    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 1 other packages
    27 Apr 2023
  5. ambient-context
    Documentation
    Abstraction over thread-local / continuation-local storage mechanisms for communication with transitive dependencies
    ELLIOTTCABLE
    0.1.0
    MIT
    Used by 4 other packages
    20 Sep 2023
  6. ambient-context-eio
    Documentation
    Storage backend for ambient-context using Eio's continuation-local storage
    ELLIOTTCABLE
    0.1.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  7. ambient-context-lwt
    Documentation
    Storage backend for ambient-context using Lwt's sequence-associated storage
    ELLIOTTCABLE
    0.1.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  8. amf

    No documentation

    Parser/serializer for Adobe's Action Message Format
    Brian Caine <brian.d.caine@gmail.com>
    0.1.2
    LGPL with OCaml linking exception
    Used by 0 other packages
    12 Sep 2019
  9. amqp-client
    Documentation
    Amqp client base library
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 2 other packages
    21 Dec 2023
  10. amqp-client-async
    Documentation
    Amqp client library, async version
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 0 other packages
    21 Dec 2023
  11. amqp-client-lwt
    Documentation
    Amqp client library, lwt version
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 0 other packages
    21 Dec 2023
  12. ancient
    Documentation
    Use data structures larger than available memory
    Richard Jones et.al.
    0.9.1
    Used by 0 other packages
    07 Mar 2019
  13. anders
    Documentation
    Modal Homotopy Type System
    Namdak Tonpa @5HT Siegmentation Fault @siegment
    1.1.1
    ISC
    Used by 0 other packages
    27 Jan 2022
  14. angstrom

    No documentation

    Parser combinators built for speed and memory-efficiency
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.0
    BSD-3-clause
    Used by 61 other packages
    13 Dec 2023
  15. angstrom-async
    Documentation
    Async support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.0
    BSD-3-clause
    Used by 3 other packages
    13 Dec 2023
  16. angstrom-lwt-unix
    Documentation
    Lwt_unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.0
    BSD-3-clause
    Used by 3 other packages
    13 Dec 2023
  17. angstrom-unix
    Documentation
    Unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.0
    BSD-3-clause
    Used by 4 other packages
    13 Dec 2023
  18. annexlib
    Documentation
    An extension to the standard library
    0.13.5
    Used by 1 other packages
    21 Nov 2013
  19. annot
    Documentation
    annotation parser for external editors and IDEs
    org:ocamllabs
    Christian Lindig Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    20 Jun 2015
  20. ansi
    Documentation
    ANSI escape sequence parser
    Antonin Décimo <antonin@tarides.com> talex5@gmail.com
    0.7.0
    Apache-2.0
    Used by 1 other packages
    18 Sep 2023
  21. ansi-parse
    Documentation
    Ansiparse is a library for converting raw terminal output, replete with escape codes, into formatted HTML
    Joel Jakubovic
    0.4.0
    ISC
    Used by 0 other packages
    25 Feb 2022
  22. ansicolor
    Documentation
    Simple ANSI terminal color library (deprecated in favor of ANSITerminal).
    0.5
    Used by 0 other packages
    21 Nov 2013
  23. anthill
    Documentation
    Word search library and utility
    Martin DeMello
    0.1
    MIT
    Used by 0 other packages
    08 Apr 2020
  24. antic
    Documentation
    Stub of the C library Antic. Algebraic number
    François Bobot
    0.3.2
    LGPL-2.1-only
    Used by 1 other packages
    13 Oct 2023
  25. anycache
    Documentation
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 2 other packages
    09 Aug 2017
  26. anycache-async
    Documentation
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 0 other packages
    09 Aug 2017
  27. anycache-lwt
    Documentation
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 0 other packages
    09 Aug 2017
  28. ao
    Documentation
    Bindings for the AO library which provides high-level functions for using soundcards
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.2.4
    LGPL-2.1
    Used by 0 other packages
    04 Jan 2022
  29. apalogretrieve
    Documentation
    Retrieve data from an Apache logfile with a syntax derived from the SQL language.
    0.9.6-4
    Used by 0 other packages
    21 Nov 2013
  30. aperf
    Documentation
    OCaml tools for loop perforation
    Philip Dexter <philip.dexter@gmail.com>
    0.1.2
    Used by 0 other packages
    11 Aug 2016
  31. apero-core
    Documentation
    OCaml Utility Library
    Angelo Corsaro Julien Enoch Oliver Hecart Gabriele Baldoni
    0.4.7
    Apache-2.0
    Used by 3 other packages
    01 Apr 2020
  32. apero-net
    Documentation
    OCaml Networking Library
    Angelo Corsaro Julien Enoch Oliver Hecart Gabriele Baldoni
    0.4.7
    Apache-2.0
    Used by 0 other packages
    01 Apr 2020
  33. apero-time
    Documentation
    OCaml Time Stamping Library
    Julien Enoch
    0.4.7
    Apache-2.0
    Used by 0 other packages
    01 Apr 2020
  34. apron
    Documentation
    APRON numerical abstract domain library
    Bertrand Jeannet Antoine Miné https://github.com/antoinemine/apron/graphs/contributors
    v0.9.14
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    25 Sep 2023
  35. apronext
    Documentation
    Apron extension
    Ghiles Ziat <ghiles.ziat@isae-supaero.fr
    1.0.4
    Used by 3 other packages
    13 Mar 2021
  36. arakoon

    No documentation

    A distributed key-value store that guarantees consistency above anything else.
    Romain Slootmaekers <romain.slootmaekers@openvstorage.com> Jan Doms <jan.doms@openvstorage.com>
    1.9.17
    Apache-2.0
    Used by 0 other packages
    23 May 2017
  37. arb
    Documentation
    Stub of the C library Arb. Ball approximation
    François Bobot
    0.3.2
    LGPL-2.1-only
    Used by 1 other packages
    13 Oct 2023
  38. archetype
    Documentation
    Archetype language compiler
    Benoit Rognier <benoit.rognier@edukera.com> Guillaume Duhamel <guillaume.duhamel@edukera.com> Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
    1.5.2
    MIT
    Used by 0 other packages
    26 Apr 2024
  39. archi
    Documentation
    A library for managing the lifecycle of stateful components in OCaml
    Antonio Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 2 other packages
    24 May 2022
  40. archi-async
    Documentation
    Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
    Antonio Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    24 May 2022
  41. archi-lwt
    Documentation
    Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
    Antonio Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    24 May 2022
  42. archimedes
    Documentation
    Extensible 2D plotting library
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net> Fabian Pijcke <fabian.pijcke@gmail.com> Noémie Meunier <noemie_6462@hotmail.com> Bertrand Desmons <bibi-6@hotmail.fr> et al.
    0.4.19
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    24 Oct 2018
  43. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  44. arg-complete
    Documentation
    Bash completion support for Stdlib.Arg
    Simmo Saan <simmo.saan@gmail.com>
    0.1.0
    MIT
    Used by 1 other packages
    30 Mar 2022
  45. argon2
    Documentation
    OCaml bindings to Argon2
    Louis Roché <louis@louisroche.net>
    1.0.2
    MIT
    Used by 1 other packages
    02 Apr 2024
  46. argot

    No documentation

    An enhanced HTML generator for the ocamldoc tool of the OCaml language
    Xavier Clerc
    1.1
    GPL-3.0-only
    Used by 0 other packages
    21 Nov 2013
  47. argsh
    Documentation
    Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    shell arg stdlib completion
    Gurvan Debaussart
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  48. arp
    Documentation
    Address Resolution Protocol purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    3.1.0
    ISC
    Used by 7 other packages
    15 Mar 2023
  49. arp-mirage
    Documentation
    Address Resolution Protocol for MirageOS
    Hannes Mehnert <hannes@mehnert.org>
    2.2.1
    ISC
    Used by 2 other packages
    18 Dec 2019
  50. arrakis
    Documentation
    A RISC-V simulator
    RISC-V simulator emulation RV32IM education debugger debug
    Valeran Maytié Gurvan Debaussart
    1.0.0
    CeCILL-2.1
    Used by 0 other packages
    05 Oct 2023
1 2 3 ... 94