4951 search results for ""

Showing 101 - 150
  1. 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
  2. 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
  3. 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
  4. argon2
    Documentation
    OCaml bindings to Argon2
    Louis Roché <louis@louisroche.net>
    1.0.2
    MIT
    Used by 1 other packages
    02 Apr 2024
  5. 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
  6. 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
  7. arp
    Documentation
    Address Resolution Protocol purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    3.1.1
    ISC
    Used by 7 other packages
    09 May 2024
  8. 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
  9. 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
  10. arrayjit

    No documentation

    An array language compiler with multiple backends (CPU, CUDA), staged compilation
    deeplearning array jit CUDA
    Lukasz Stafiniak
    0.4.1
    BSD-2-Clause
    Used by 1 other packages
    17 Sep 2024
  11. art
    Documentation
    Adaptive Radix Tree
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.2.0
    MIT
    Used by 3 other packages
    20 Jul 2022
  12. asai

    No documentation

    A library for constructing and printing compiler diagnostics
    The RedPRL Development Team
    0.3.1
    Apache-2.0
    Used by 1 other packages
    27 Feb 2024
  13. asak
    Documentation
    Partitioning OCaml codes
    Alexandre Moine
    0.5
    MIT
    Used by 2 other packages
    31 Jul 2024
  14. ascend

    No documentation

    Ascend - Terminal Dungeon RPG adventure
    game terminal
    eir
    0.1.2-1
    AGPL-3.0-only
    Used by 0 other packages
    09 Oct 2024
  15. 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
    11 Sep 2017
  16. asetmap
    Documentation
    Alternative, compatible, OCaml standard library Sets and Maps
    org:erratique set map stdlib
    Daniel Bünzli
    0.8.1
    ISC
    Used by 11 other packages
    28 Sep 2016
  17. ask
    Documentation
    Create/Answer questionnaires
    Marc Biedermann
    0.2.0
    MIT
    Used by 1 other packages
    30 Mar 2021
  18. ask-integrator
    Documentation
    Link questionnaires to an uuid of 'a type
    Marc Biedermann
    0.2.0
    MIT
    Used by 0 other packages
    30 Mar 2021
  19. asl
    Documentation
    Bindings for the Apple System Log API
    David Scott
    0.11
    ISC
    Used by 4 other packages
    22 May 2017
  20. asli
    Documentation
    Interpreter for Arm's Architecture Specification Language (ASL)
    Alastair Reid
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    31 May 2020
  21. asn1-combinators
    Documentation
    Embed typed ASN.1 grammars in OCaml
    David Kaloper Meršinjak
    0.3.2
    ISC
    Used by 5 other packages
    05 Sep 2024
  22. assertions
    Documentation
    Basic assert statements
    Ben Greenman
    0.1
    Used by 0 other packages
    16 Jul 2015
  23. assimp
    Documentation
    OCaml bindings to Assimp, Open Asset Import Library
    Frederic Bour <frederic.bour@lakaban.net>
    0.3
    CC0-1.0+
    Used by 0 other packages
    29 Nov 2016
  24. ast_generic
    Documentation
    Abstract Syntax Tree (AST) supporting 31 programming languages
    Yoann Padioleau <pad@r2c.dev>
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    20 Feb 2023
  25. astring
    Documentation
    Alternative String module for OCaml
    string org:erratique
    The astring programmers
    0.8.5
    ISC
    Used by 135 other packages
    09 Aug 2020
  26. async
    Documentation
    Monadic concurrency library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 95 other packages
    26 May 2024
  27. async-mvar

    No documentation

    Async-mvar is a port of Lwt's Lwt_mvar
    Rudi Grinberg
    0.1.0
    MIT
    Used by 0 other packages
    10 Jun 2015
  28. async-uri
    Documentation
    Open Async (TLS) TCP connections with Uri.t
    async uri tls ssl
    Vincent Bernardoff <vb@luminar.eu.org>
    0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  29. async-zmq
    Documentation
    Async wrapper for OCaml's zeromq bindings
    Rudi Grinberg
    0.3.0
    MIT
    Used by 0 other packages
    10 Apr 2016
  30. async_core

    No documentation

    Monadic concurrency library
    Jane Street Capital LLC
    109.55.02
    Apache-2.0
    Used by 4 other packages
    16 Dec 2013
  31. async_durable
    Documentation
    Durable connections for use with async
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  32. async_extended
    Documentation
    Additional utilities for async
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 2 other packages
    22 Mar 2018
  33. async_extra
    Documentation
    Monadic concurrency library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  34. async_find
    Documentation
    Directory traversal with Async
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  35. async_graphics
    Documentation
    Async wrapper for the OCaml Graphics library
    async graphics
    Leo White <leo@lpw25.net>
    0.7.0
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2019
  36. async_inotify
    Documentation
    Async wrapper for inotify
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  37. async_interactive
    Documentation
    Utilities for building simple command-line based user interfaces
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  38. async_js
    Documentation
    A small library that provide Async support for JavaScript platforms
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 4 other packages
    26 May 2024
  39. async_kernel
    Documentation
    Monadic concurrency library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 31 other packages
    26 May 2024
  40. async_log
    Documentation
    Logging library built on top of Async_unix
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  41. async_parallel
    Documentation
    Distributed computing library
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 0 other packages
    22 Mar 2018
  42. async_rpc_kernel
    Documentation
    Platform-independent core of Async RPC library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 11 other packages
    26 May 2024
  43. async_rpc_websocket

    No documentation

    Library to serve and dispatch Async RPCs over websockets
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  44. async_sendfile
    Documentation
    Thin wrapper around [Linux_ext.sendfile] to send full files
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  45. async_shell
    Documentation
    Shell helpers for Async
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  46. async_smtp
    Documentation
    SMTP client and server
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  47. async_ssl
    Documentation
    An Async-pipe-based interface with OpenSSL
    Jane Street Group, LLC
    v0.17.0-1
    MIT
    Used by 12 other packages
    19 Nov 2024
  48. async_udp
    Documentation
    Monadic concurrency library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  49. async_unix
    Documentation
    Monadic concurrency library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 20 other packages
    26 May 2024
  50. async_websocket
    Documentation
    A library that implements the websocket protocol on top of Async
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
2 3 4 ... 100