4405 search results for "author:" ""

Showing 51 - 100
  1. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.4
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    Added to opam-repository
  2. alt-ergo-plugin-ab-why3
    Documentation
    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.4
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. 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 0 other packages
    Added to opam-repository
  4. amlc-lsp
    Documentation
    Language Server Protocol implementation for AML and AppliedML
    AMLC LSP Contributors
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  5. amqp-client
    Documentation
    Amqp client base library
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  6. amqp-client-async
    Documentation
    Amqp client library, async version
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  7. amqp-client-lwt
    Documentation
    Amqp client library, lwt version
    Anders Fugmann
    2.3.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  8. ancient
    Documentation
    Use data structures larger than available memory
    Richard Jones et.al.
    0.10.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  9. anders
    Documentation
    Modal Homotopy Type System
    Groupoid Infinity
    5.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  10. angstrom
    Documentation
    Parser combinators built for speed and memory-efficiency
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.1
    BSD-3-clause
    Used by 75 other packages
    Added to opam-repository
  11. angstrom-async
    Documentation
    Async support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.1
    BSD-3-clause
    Used by 3 other packages
    Added to opam-repository
  12. angstrom-lwt-unix
    Documentation
    Lwt_unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.1
    BSD-3-clause
    Used by 2 other packages
    Added to opam-repository
  13. angstrom-unix
    Documentation
    Unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.16.1
    BSD-3-clause
    Used by 5 other packages
    Added to opam-repository
  14. ansi
    Documentation
    ANSI escape sequence parser
    Antonin Décimo <antonin@tarides.com> talex5@gmail.com
    0.7.0
    Apache-2.0
    Used by 2 other packages
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. ansifmt
    Documentation
    A simple, lightweight library for ANSI styling
    ansi formatting styling pretty-printing terminal
    lexa <contact@qexat.com>
    2.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. anthill

    No documentation

    Word search library and utility
    Martin DeMello
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. anthropic
    Documentation
    OCaml bindings for the Anthropic API
    anthropic claude ai llm api client streaming eio
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  19. antic

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  20. anycache
    Documentation
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 1 other packages
    Added to opam-repository
  21. anycache-lwt
    Documentation
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 0 other packages
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. api-watch
    Documentation
    Libraries and tools to keep watch on your OCaml lib's API changes
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  24. apron
    Documentation
    APRON numerical abstract domain library
    Bertrand Jeannet Antoine Miné https://github.com/antoinemine/apron/graphs/contributors
    v0.9.15
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Added to opam-repository
  25. apronext
    Documentation
    Apron extension
    Ghiles Ziat <ghiles.ziat@isae-supaero.fr
    1.0.4
    Used by 3 other packages
    Added to opam-repository
  26. arb

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  27. arc
    Documentation
    ARC support in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. arch-x86_32

    No documentation

    Build OCaml for x86 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 4 other packages
    Added to opam-repository
  29. arch-x86_64

    No documentation

    Build OCaml for amd64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 4 other packages
    Added to opam-repository
  30. 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.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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 2 other packages
    Added to opam-repository
  35. areas-and-adversaries
    Documentation
    TTRPG title generator
    Raphaël Proust <code@bnwr.net>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  36. arg-complete
    Documentation
    Bash completion support for Stdlib.Arg
    Simmo Saan <simmo.saan@gmail.com>
    0.2.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  37. argon2
    Documentation
    OCaml bindings to Argon2
    Louis Roché <louis@louisroche.net>
    1.0.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. arp
    Documentation
    Address Resolution Protocol purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    4.1.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  40. arrakis
    Documentation
    A RISC-V simulator
    RISC-V simulator emulation RV32IM education debugger debug
    Valeran Maytié Gurvan Debaussart
    1.1.1
    CeCILL-2.1
    Used by 0 other packages
    Added to opam-repository
  41. arrayjit
    Documentation
    An array language compiler with multiple backends (CPU, CUDA, Metal), staged compilation
    deeplearning array jit CUDA Metal
    Lukasz Stafiniak
    0.6.1
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  42. art
    Documentation
    Adaptive Radix Tree
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.4.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  43. asai
    Documentation
    A library for constructing and printing compiler diagnostics
    The RedPRL Development Team
    0.3.1
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  44. asak
    Documentation
    Partitioning OCaml codes
    Alexandre Moine
    0.5
    MIT
    Used by 2 other packages
    Added to opam-repository
  45. ascii85
    Documentation
    ascii85 - Adobe's Ascii85 encoding as a module and a command line tool
    Christian Lindig <lindig@gmail.com>
    0.4
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  46. ascon
    Documentation
    Pure OCaml implementation of NIST SP 800-232 Ascon
    cryptography ascon aead hash xof nist sp-800-232 mirageos
    Ville Vesilehto
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  47. asetmap
    Documentation
    Alternative, compatible, OCaml standard library Sets and Maps
    org:erratique set map stdlib
    Daniel Bünzli
    0.8.1
    ISC
    Used by 6 other packages
    Added to opam-repository
  48. ask
    Documentation
    Create/Answer questionnaires
    Marc Biedermann
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  49. ask-integrator
    Documentation
    Link questionnaires to an uuid of 'a type
    Marc Biedermann
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  50. asl
    Documentation
    Bindings for the Apple System Log API
    David Scott
    0.11
    ISC
    Used by 0 other packages
    Added to opam-repository
1 2 3 ... 89