3894 search results for "author:" ""

  1. ANSITerminal
    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 19 other packages
    Last published 19 Jul 2022
  2. aacplus
    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
    Last published 17 Aug 2015
  3. abella
    Interactive theorem prover based on lambda-tree syntax
    Andrew Gacek Yuting Wang Kaustuv Chaudhuri
    2.0.7
    GPL-3.0-only
    Used by 0 other packages
    Last published 29 Jan 2021
  4. absolute
    AbSolute solver
    Marie Pelleau <marie.pelleau@i3s.unice.fr> Ghiles Ziat <ghiles.ziat@epita.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    Last published 13 Dec 2022
  5. abstract_algebra
    A small library describing abstract algebra concepts
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  6. abt
    OCaml port of CMU's abstract binding trees
    Ayberk Tosun <ayberk.tosun@gmail.com>
    0.0.3
    MIT
    Used by 0 other packages
    Last published 27 Apr 2017
  7. accessor
    A library that makes it nicer to work with nested functional data structures
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 2 other packages
    Last published 21 Mar 2022
  8. accessor_async
    Accessors for Async types, for use with the Accessor library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 0 other packages
    Last published 21 Mar 2022
  9. accessor_base
    Accessors for Base types, for use with the Accessor library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  10. accessor_core
    Accessors for Core types, for use with the Accessor library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  11. acgtk
    Abstract Categorial Grammar development toolkit
    Sylvain Pogodalla
    1.5.3
    CeCILL-1.0+
    Used by 0 other packages
    Last published 07 Sep 2021
  12. aches
    Caches (bounded-size stores) for in-memory values and for resources
    Nomadic Labs
    1.0.0
    MIT
    Used by 8 other packages
    Last published 30 Sep 2022
  13. aches-lwt
    Caches (bounded-size stores) for Lwt promises
    Nomadic Labs
    1.0.0
    MIT
    Used by 5 other packages
    Last published 30 Sep 2022
  14. acme
    A library to interact with the acme text editor.
    Raphaël Proust
    0.1
    BSD-3-Clause
    Used by 1 other packages
    Last published 29 Apr 2014
  15. acp4
    ACP4: AutoCorrelation of Pharmacophore Features
    Francois Berenger
    1.0.1
    GPL-3.0-only
    Used by 0 other packages
    Last published 07 Jan 2023
  16. acpc
    Chemoinformatics tool for ligand-based virtual screening
    Francois Berenger
    2.0.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 13 Jan 2023
  17. advi
    Active DVI Dune package!
    Alexandre Miquel Jun Furuse Didier Rémy Pierre Weis Xavier Leroy Roberto Di Cosmo Didier Le Botlan Alan Schmitt
    2.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    Last published 14 Apr 2021
  18. afl
    American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam.
    Michal Zalewski
    2.52b
    Apache-2.0
    Used by 1 other packages
    Last published 16 Dec 2017
  19. afl-persistent
    Use afl-fuzz in persistent mode
    Stephen Dolan
    1.3
    MIT
    Used by 5 other packages
    Last published 13 Nov 2018
  20. ago
    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
    Last published 13 Sep 2017
  21. agrep
    String searching with errors
    Xavier Leroy
    1.0
    LGPL-2.0-or-later
    Used by 0 other packages
    Last published 21 Nov 2013
  22. agrid
    Adjustable grid (two dimensional array) library
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 1 other packages
    Last published 09 Mar 2021
  23. ahrocksdb
    A binding to RocksDB
    Enguerrand Decorne <enguerrand.decorne@ahrefs.com>
    0.2.2
    MIT
    Used by 0 other packages
    Last published 31 Jan 2019
  24. aifad
    AIFAD - Automated Induction of Functions over Algebraic Datatypes
    Markus Mottl <markus.mottl@gmail.com>
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 29 Mar 2022
  25. alba
    Alba compiler
    Helmut Brandl <helmut.brandl@gmx.net>
    0.4.4
    GPL-2.0-only
    Used by 0 other packages
    Last published 16 Dec 2020
  26. albatross
    Albatross - orchestrate and manage MirageOS unikernels with Solo5
    Hannes Mehnert <hannes@mehnert.org>
    1.5.6
    ISC
    Used by 0 other packages
    Last published 20 Feb 2023
  27. alberto
    OCaml interface to Erlang ports
    Sergei Lebedev
    0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 03 Mar 2015
  28. alcotest
    Alcotest is a lightweight and colourful test framework
    Thomas Gazagnaire
    1.7.0
    ISC
    Used by 507 other packages
    Last published 27 Feb 2023
  29. alcotest-async
    Async-based helpers for Alcotest
    Thomas Gazagnaire
    1.7.0
    ISC
    Used by 5 other packages
    Last published 27 Feb 2023
  30. alcotest-js
    Virtual package containing optional JavaScript dependencies for Alcotest
    Thomas Gazagnaire
    1.7.0
    ISC
    Used by 0 other packages
    Last published 27 Feb 2023
  31. alcotest-lwt
    Lwt-based helpers for Alcotest
    Thomas Gazagnaire
    1.7.0
    ISC
    Used by 140 other packages
    Last published 27 Feb 2023
  32. alcotest-mirage
    Mirage implementation for Alcotest
    Thomas Gazagnaire
    1.7.0
    ISC
    Used by 0 other packages
    Last published 27 Feb 2023
  33. alg_structs
    Interfaces and module combinators for algebraic structures
    Shon Feder
    0.1.3
    MIT
    Used by 1 other packages
    Last published 29 Oct 2019
  34. alg_structs_qcheck
    Provides qCheck generators for laws of alg_structs
    Shon Feder
    0.1.3
    MIT
    Used by 0 other packages
    Last published 29 Oct 2019
  35. algaeff
    Reusable Effects-Based Components
    The RedPRL Development Team
    0.2.1
    Apache-2.0
    Used by 1 other packages
    Last published 17 Dec 2022
  36. aliases
    In memory indexes
    Hugo Heuzard
    0.0.5
    MIT
    Used by 0 other packages
    Last published 10 Jan 2014
  37. alonzo
    STLC type system
    Oleh Marakhovskyi @jealrock
    0.4.0
    ISC
    Used by 0 other packages
    Last published 04 Apr 2022
  38. alsa
    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
    Last published 09 Aug 2020
  39. alt-ergo
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
    Used by 4 other packages
    Last published 04 Aug 2022
  40. alt-ergo-free
    The Alt-Ergo SMT prover
    Alt-Ergo developers
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    Last published 26 Jul 2022
  41. alt-ergo-lib
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 3 other packages
    Last published 04 Aug 2022
  42. alt-ergo-lib-free
    The Alt-Ergo SMT prover library
    Alt-Ergo developers
    2.3.3.dune3
    Apache-2.0
    Used by 2 other packages
    Last published 26 Jul 2022
  43. alt-ergo-parsers
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 2 other packages
    Last published 04 Aug 2022
  44. alt-ergo-parsers-free
    The Alt-Ergo SMT prover parser library
    Alt-Ergo developers
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    Last published 26 Jul 2022
  45. altgr-ergo
    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 1 other packages
    Last published 04 Aug 2022
  46. amf
    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
    Last published 12 Sep 2019
  47. amqp-client
    Amqp client base library
    Anders Fugmann
    2.2.2
    BSD-3-Clause
    Used by 2 other packages
    Last published 11 May 2020
  48. amqp-client-async
    Amqp client library, async version
    Anders Fugmann
    2.2.2
    BSD-3-Clause
    Used by 0 other packages
    Last published 11 May 2020
  49. amqp-client-lwt
    Amqp client library, lwt version
    Anders Fugmann
    2.2.2
    BSD-3-Clause
    Used by 0 other packages
    Last published 11 May 2020
  50. ancient
    Use data structures larger than available memory
    Richard Jones et.al.
    0.9.1
    Used by 0 other packages
    Last published 07 Mar 2019
  51. anders
    Modal Homotopy Type System
    Namdak Tonpa @5HT Siegmentation Fault @siegment
    1.1.1
    ISC
    Used by 0 other packages
    Last published 27 Jan 2022
  52. angstrom
    Parser combinators built for speed and memory-efficiency
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.15.0
    BSD-3-clause
    Used by 52 other packages
    Last published 02 Oct 2020
  53. angstrom-async
    Async support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.15.0
    BSD-3-clause
    Used by 2 other packages
    Last published 02 Oct 2020
  54. angstrom-lwt-unix
    Lwt_unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.15.0
    BSD-3-clause
    Used by 3 other packages
    Last published 02 Oct 2020
  55. angstrom-unix
    Unix support for Angstrom
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.15.0
    BSD-3-clause
    Used by 4 other packages
    Last published 02 Oct 2020
  56. annot
    annotation parser for external editors and IDEs
    org:ocamllabs
    Christian Lindig Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    Last published 20 Jun 2015
  57. ansi
    ANSI escape sequence parser
    Antonin Décimo <antonin@tarides.com> talex5@gmail.com
    0.6.0
    Apache-2.0
    Used by 1 other packages
    Last published 21 Dec 2022
  58. ansi-parse
    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
    Last published 25 Feb 2022
  59. anthill
    Word search library and utility
    Martin DeMello
    0.1
    MIT
    Used by 0 other packages
    Last published 08 Apr 2020
  60. antic
    Stub of the C library Antic. Algebraic number
    François Bobot
    0.1.5
    LGPL-2.1
    Used by 1 other packages
    Last published 13 Jun 2022
  61. anycache
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 2 other packages
    Last published 09 Aug 2017
  62. anycache-async
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 0 other packages
    Last published 09 Aug 2017
  63. anycache-lwt
    Scan-resistant LRU/2Q cache
    Török Edwin <edwin@etorok.net>
    0.7.4
    ISC
    Used by 0 other packages
    Last published 09 Aug 2017
  64. ao
    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
    Last published 04 Jan 2022
  65. aperf
    OCaml tools for loop perforation
    Philip Dexter <philip.dexter@gmail.com>
    0.1.2
    Used by 0 other packages
    Last published 11 Aug 2016
  66. apero-core
    OCaml Utility Library
    Angelo Corsaro Julien Enoch Oliver Hecart Gabriele Baldoni
    0.4.7
    Apache-2.0
    Used by 3 other packages
    Last published 01 Apr 2020
  67. apero-net
    OCaml Networking Library
    Angelo Corsaro Julien Enoch Oliver Hecart Gabriele Baldoni
    0.4.7
    Apache-2.0
    Used by 0 other packages
    Last published 01 Apr 2020
  68. apero-time
    OCaml Time Stamping Library
    Julien Enoch
    0.4.7
    Apache-2.0
    Used by 0 other packages
    Last published 01 Apr 2020
  69. apron
    APRON numerical abstract domain library
    Bertrand Jeannet Antoine Miné https://github.com/antoinemine/apron/graphs/contributors
    v0.9.13
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Last published 12 Sep 2020
  70. apronext
    Apron extension
    Ghiles Ziat <ghiles.ziat@isae-supaero.fr
    1.0.4
    Used by 3 other packages
    Last published 13 Mar 2021
  71. arakoon
    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
    Last published 23 May 2017
  72. arb
    Stub of the C library Arb. Ball approximation
    François Bobot
    0.1.5
    LGPL-2.1
    Used by 1 other packages
    Last published 13 Jun 2022
  73. archetype
    Archetype language compiler
    Benoit Rognier <benoit.rognier@edukera.com> Guillaume Duhamel <guillaume.duhamel@edukera.com> Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
    1.4.1
    MIT
    Used by 0 other packages
    Last published 01 Feb 2023
  74. 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 2 other packages
    Last published 24 May 2022
  75. archi-async
    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
    Last published 24 May 2022
  76. archi-lwt
    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
    Last published 24 May 2022
  77. archimedes
    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> Xavier Deschuyteneer <xavier.deschuyteneer@gmail.com>
    0.4.19
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 24 Oct 2018
  78. archsat
    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
    Last published 02 Sep 2019
  79. arg-complete
    Bash completion support for Stdlib.Arg
    Simmo Saan <simmo.saan@gmail.com>
    0.1.0
    MIT
    Used by 1 other packages
    Last published 30 Mar 2022
  80. argon2
    OCaml bindings to Argon2
    Louis Roché <louis@louisroche.net>
    1.0.1
    MIT
    Used by 1 other packages
    Last published 15 Apr 2020
  81. argot
    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
    Last published 21 Nov 2013
  82. arp
    Address Resolution Protocol purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    3.1.0
    ISC
    Used by 7 other packages
    Last published 15 Mar 2023
  83. arp-mirage
    Address Resolution Protocol for MirageOS
    Hannes Mehnert <hannes@mehnert.org>
    2.2.1
    ISC
    Used by 2 other packages
    Last published 18 Dec 2019
  84. art
    Adaptive Radix Tree
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.2.0
    MIT
    Used by 3 other packages
    Last published 20 Jul 2022
  85. asak
    Partitioning OCaml codes
    Alexandre Moine
    0.3
    MIT
    Used by 2 other packages
    Last published 25 Jul 2021
  86. ascii85
    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
    Last published 11 Sep 2017
  87. asetmap
    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
    Last published 28 Sep 2016
  88. ask
    Create/Answer questionnaires
    Marc Biedermann
    0.2.0
    MIT
    Used by 1 other packages
    Last published 30 Mar 2021
  89. ask-integrator
    Link questionnaires to an uuid of 'a type
    Marc Biedermann
    0.2.0
    MIT
    Used by 0 other packages
    Last published 30 Mar 2021
  90. asl
    Bindings for the Apple System Log API
    David Scott
    0.11
    ISC
    Used by 4 other packages
    Last published 22 May 2017
  91. asli
    Interpreter for Arm's Architecture Specification Language (ASL)
    Alastair Reid
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 31 May 2020
  92. asn1-combinators
    Embed typed ASN.1 grammars in OCaml
    David Kaloper Meršinjak
    0.2.6
    ISC
    Used by 10 other packages
    Last published 04 Aug 2021
  93. assertions
    Basic assert statements
    Ben Greenman
    0.1
    Used by 0 other packages
    Last published 16 Jul 2015
  94. assimp
    OCaml bindings to Assimp, Open Asset Import Library
    Frederic Bour <frederic.bour@lakaban.net>
    0.3
    CC0-1.0+
    Used by 0 other packages
    Last published 29 Nov 2016
  95. ast_generic
    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
    Last published 20 Feb 2023
  96. astring
    Alternative String module for OCaml
    string org:erratique
    The astring programmers
    0.8.5
    ISC
    Used by 129 other packages
    Last published 09 Aug 2020
  97. async
    Monadic concurrency library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 88 other packages
    Last published 21 Mar 2022
  98. async-mvar
    Async-mvar is a port of Lwt's Lwt_mvar
    Rudi Grinberg
    0.1.0
    MIT
    Used by 0 other packages
    Last published 10 Jun 2015
  99. async-uri
    Open Async (TLS) TCP connections with Uri.t
    Vincent Bernardoff <vb@luminar.eu.org>
    0.3.0
    Used by 0 other packages
    Last published 20 Nov 2020
  100. async-zmq
    Async wrapper for OCaml's zeromq bindings
    Rudi Grinberg
    0.3.0
    MIT
    Used by 0 other packages
    Last published 10 Apr 2016
  101. async_core
    Monadic concurrency library
    Jane Street Capital LLC
    109.55.02
    Apache-2.0
    Used by 4 other packages
    Last published 16 Dec 2013
  102. async_durable
    Durable connections for use with async
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 0 other packages
    Last published 21 Mar 2022
  103. async_extended
    Additional utilities for async
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 2 other packages
    Last published 22 Mar 2018
  104. async_extra
    Monadic concurrency library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 3 other packages
    Last published 21 Mar 2022
  105. async_find
    Directory traversal with Async
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 2 other packages
    Last published 21 Mar 2022
  106. async_graphics
    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
    Last published 07 Jun 2019
  107. async_inotify
    Async wrapper for inotify
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  108. async_interactive
    Utilities for building simple command-line based user interfaces
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 0 other packages
    Last published 21 Mar 2022
  109. async_js
    A small library that provide Async support for JavaScript platforms
    Jane Street Group, LLC
    v0.15.1
    MIT
    Used by 4 other packages
    Last published 14 Oct 2022
  110. async_kernel
    Monadic concurrency library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 27 other packages
    Last published 21 Mar 2022
  111. async_parallel
    Distributed computing library
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 0 other packages
    Last published 22 Mar 2018
  112. async_rpc_kernel
    Platform-independent core of Async RPC library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 7 other packages
    Last published 21 Mar 2022
  113. async_rpc_websocket
    Library to serve and dispatch Async RPCs over websockets
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 2 other packages
    Last published 21 Mar 2022
  114. async_sendfile
    Thin wrapper around [Linux_ext.sendfile] to send full files
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  115. async_shell
    Shell helpers for Async
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 2 other packages
    Last published 21 Mar 2022
  116. async_smtp
    SMTP client and server
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 0 other packages
    Last published 21 Mar 2022
  117. async_ssl
    An Async-pipe-based interface with OpenSSL
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 8 other packages
    Last published 21 Mar 2022
  118. async_udp
    Monadic concurrency library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  119. async_unix
    Monadic concurrency library
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 18 other packages
    Last published 21 Mar 2022
  120. async_websocket
    A library that implements the websocket protocol on top of Async
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 1 other packages
    Last published 21 Mar 2022
  121. atable
    Basic spreadsheet tool with HTML tables
    OCamlPro <contact@ocamlpro.com>
    0.1
    ISC
    Used by 0 other packages
    Last published 14 Mar 2021
  122. atd
    Parser for the ATD data format description language
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 10 other packages
    Last published 13 Feb 2023
  123. atdgen
    Generates efficient JSON serializers, deserializers and validators
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 26 other packages
    Last published 13 Feb 2023
  124. atdgen-codec-runtime
    Runtime for atdgen generated bucklescript converters
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 1 other packages
    Last published 13 Feb 2023
  125. atdgen-runtime
    Runtime library for code generated by atdgen
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 5 other packages
    Last published 13 Feb 2023
  126. atdj
    Java code generation for ATD.
    John Billings Martin Jambon
    20151001.01.2
    BSD-3-Clause
    Used by 0 other packages
    Last published 21 Apr 2016
  127. atdpy
    Python/mypy code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  128. atds
    ATD Code generator for Scala
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  129. atdts
    TypeScript code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 1 other packages
    Last published 13 Feb 2023
  130. atomic
    Compatibility package for OCaml's Atomic module starting from 4.12
    base
    Used by 0 other packages
    Last published 29 Mar 2022
  131. augeas
    Bindings to the Augeas configuration editing tool
    Richard W.M. Jones <rjones@redhat.com> Pino Toscano <ptoscano@redhat.com>
    0.6
    Used by 0 other packages
    Last published 24 Aug 2019
  132. autofonce
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 0 other packages
    Last published 16 Mar 2023
  133. autofonce_config
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  134. autofonce_core
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  135. autofonce_lib
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  136. autofonce_m4
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  137. autofonce_misc
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 3 other packages
    Last published 16 Mar 2023
  138. autofonce_patch
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  139. autofonce_share
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  140. avro
    Runtime library for encoding/decoding Avro
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    Last published 12 Dec 2021
  141. avro-compiler
    Schema compiler for Avro
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    Last published 12 Dec 2021
  142. avroc
    Read and write Apache Avro files
    Sidharth Kuruvila <sidharth.kuruvila@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    Last published 14 Jun 2015
  143. awa
    SSH implementation in OCaml
    Christiano F. Haesbaert <haesbaert@haesbaert.org> Hannes Mehnert <hannes@mehnert.org>
    0.1.2
    ISC
    Used by 4 other packages
    Last published 17 Feb 2023
  144. awa-lwt
    SSH implementation in OCaml
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    0.1.2
    ISC
    Used by 0 other packages
    Last published 17 Feb 2023
  145. awa-mirage
    SSH implementation in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    0.1.2
    ISC
    Used by 2 other packages
    Last published 17 Feb 2023
  146. aws
    Amazon Web Services SDK
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 15 other packages
    Last published 23 Mar 2021
  147. aws-async
    Amazon Web Services SDK bindings for async
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  148. aws-autoscaling
    Amazon Web Services SDK bindings to Auto Scaling
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  149. aws-cloudformation
    Amazon Web Services SDK bindings to AWS CloudFormation
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  150. aws-cloudtrail
    Amazon Web Services SDK bindings to AWS CloudTrail
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  151. aws-cloudwatch
    Amazon Web Services SDK bindings to Amazon CloudWatch
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  152. aws-config
    Read AWS configuration in OCaml
    Satoru Kawahara <s1311350@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    Last published 28 Apr 2022
  153. aws-ec2
    Amazon Web Services SDK bindings to Amazon Elastic Compute Cloud
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  154. aws-elasticache
    Amazon Web Services SDK bindings to Amazon ElastiCache
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  155. aws-elasticloadbalancing
    Amazon Web Services SDK bindings to Elastic Load Balancing
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  156. aws-lwt
    Amazon Web Services SDK bindings for lwt
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  157. aws-rds
    Amazon Web Services SDK bindings to Amazon Relational Database Service
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  158. aws-route53
    Amazon Web Services SDK bindings to Amazon Route 53
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  159. aws-s3
    Ocaml library for accessing Amazon S3
    Anders Fugmann
    4.8.0
    BSD-3-Clause
    Used by 2 other packages
    Last published 05 Sep 2022
  160. aws-s3-async
    Ocaml library for accessing Amazon S3 - Async version
    Anders Fugmann
    4.8.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 05 Sep 2022
  161. aws-s3-lwt
    Ocaml library for accessing Amazon S3 - Lwt version
    Anders Fugmann
    4.8.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 05 Sep 2022
  162. aws-sdb
    Amazon Web Services SDK bindings to Amazon SimpleDB
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  163. aws-sqs
    Amazon Web Services SDK bindings to Amazon Simple Queue Service
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  164. aws-ssm
    Amazon Web Services SDK bindings to Amazon Simple Systems Management Service
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  165. aws-sts
    Amazon Web Services SDK bindings to AWS Security Token Service
    Spiros Eliopoulos <spiros@inhabitedtype.com> Daniel Patterson <dbp@dbpmail.net> Tim McGilchrist <timmcgil@gmail.com>
    1.2
    BSD-3-clause
    Used by 0 other packages
    Last published 23 Mar 2021
  166. azblob
    A trivial Azure Blob Storage interface for OCaml
    Kazuo Koga
    0.1.0
    ISC
    Used by 1 other packages
    Last published 27 Nov 2019
  167. azblob-async
    A trivial Azure Blob Storage interface for OCaml
    Kazuo Koga
    0.1.0
    ISC
    Used by 0 other packages
    Last published 27 Nov 2019
  168. azure-cosmos-db
    Azure cosmos db interface
    Morten Knaack <knaack@gmail>
    0.2.1
    MIT
    Used by 0 other packages
    Last published 19 Jan 2023
  169. BetterErrors
    Better compiler error output.
    syntax
    Cheng Lou <chenglou92@gmail.com>
    0.0.1
    MIT
    Used by 1 other packages
    Last published 29 Mar 2016
  170. b0
    Software construction and deployment kit
    dev org:erratique org:b0-system build
    The b0 programmers
    0.0.4
    ISC; BSD-2-Clause
    Used by 1 other packages
    Last published 09 Feb 2022
  171. bag
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 09 Mar 2021
  172. baguette_sharp
    The Baguette# Interpreter REPL
    Charlotte Thomas
    2.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    Last published 23 Jan 2023
  173. balancer
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    Last published 09 Aug 2018
  174. bamboo
    A compiler targeting Ethereum Virtual Machine
    Yoichi Hirai <i@yoichihirai.com>
    0.0.03
    Apache-2.0
    Used by 0 other packages
    Last published 08 May 2018
  175. bap
    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 6 other packages
    Last published 14 Jul 2022
  176. bap-abi
    BAP ABI integration subsystem
    BAP Team
    2.5.0
    MIT
    Used by 12 other packages
    Last published 14 Jul 2022
  177. bap-analyze
    Implements the analyze command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  178. bap-api
    A pass that adds parameters to subroutines based on known API
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Last published 14 Jul 2022
  179. bap-arm
    BAP ARM lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Last published 14 Jul 2022
  180. bap-beagle
    BAP obfuscated string solver
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  181. bap-beagle-strings
    Finds strings of characters using microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  182. bap-bil
    Controls the BIL transformation pipeline
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  183. bap-build
    BAP build automation tools
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  184. bap-bundle
    BAP bundler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Last published 14 Jul 2022
  185. bap-byteweight
    BAP facility for indentifying code entry points
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  186. bap-byteweight-frontend
    BAP Toolkit for training and controlling Byteweight algorithm
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  187. bap-c
    A C language support library for BAP
    BAP Team
    2.5.0
    MIT
    Used by 9 other packages
    Last published 14 Jul 2022
  188. bap-cache
    BAP caching service
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  189. bap-callgraph-collator
    Collates programs based on their callgraphs
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  190. bap-callsites
    Inject data definition terms at callsites
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  191. bap-constant-tracker
    Constant Tracking Analysis based on Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  192. bap-core
    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  193. bap-core-theory
    BAP Semantics Representation
    BAP Team
    2.5.0
    MIT
    Used by 28 other packages
    Last published 14 Jul 2022
  194. bap-cxxfilt
    A demangler that relies on a c++filt utility
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  195. bap-dead-code-elimination
    A BAP plugin that removes dead IR code
    BAP Team
    1.4.0
    MIT
    Used by 1 other packages
    Last published 13 Mar 2018
  196. bap-demangle
    Provides names service and demangling facilities
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Last published 14 Jul 2022
  197. bap-dependencies
    Analyzes program dependencies
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  198. bap-disassemble
    Implements the disassemble command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  199. bap-dump-symbols
    BAP plugin that dumps symbols information from a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  200. bap-dwarf
    BAP DWARF parsing library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  201. bap-elementary
    BAP floating point approximations of elementary functions
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  202. bap-elf
    BAP ELF parser and loader written in native OCaml
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  203. bap-emacs-dot
    Will automatically detect graph specifications in a dot syntax and display them using overlaying
    Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    Last published 26 Oct 2018
  204. bap-emacs-goodies
    A collection of useful Emacs tools for BAP
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de> Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    Last published 26 Oct 2018
  205. bap-emacs-mode
    Emacs major mode for reading and analyzing programs in BAP's IR
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>
    0.1
    MIT
    Used by 1 other packages
    Last published 26 Oct 2018
  206. bap-extra
    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Last published 14 Jul 2022
  207. bap-flatten
    A BAP plugin, that translates a program into the flatten form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  208. bap-frames
    A data format for storing execution traces
    BAP Team
    2.1.2
    MIT
    Used by 0 other packages
    Last published 10 Apr 2019
  209. bap-frontc
    A C language frontend for based on FrontC library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  210. bap-frontend
    BAP frontend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  211. bap-fsi-benchmark
    BAP function start identification benchmark game
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Last published 14 Jul 2022
  212. bap-future
    A library for asynchronous values
    BAP Team
    2.5.0
    MIT
    Used by 16 other packages
    Last published 14 Jul 2022
  213. bap-ghidra
    BAP Ghidra backend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  214. bap-glibc-runtime
    Detects the presence of glibc runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  215. bap-ida
    An IDA Pro integration library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  216. bap-ida-plugin
    Plugins for IDA and BAP integration
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  217. bap-ida-python
    A BAP - IDA Pro integration library
    BAP Team
    2.3.0
    MIT
    Used by 1 other packages
    Last published 04 Jun 2021
  218. bap-knowledge
    Knowledge Representation Library
    BAP Team
    2.5.0
    MIT
    Used by 28 other packages
    Last published 14 Jul 2022
  219. bap-llvm
    BAP LLVM backend
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  220. bap-main
    Build BAP Main Framework Configuration Library
    BAP Team
    2.5.0
    MIT
    Used by 36 other packages
    Last published 14 Jul 2022
  221. bap-mc
    BAP machine instruction playground
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  222. bap-microx
    A micro execution framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  223. bap-mips
    BAP MIPS lifter
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  224. bap-objdump
    Extract symbols from binary, using binutils objdump
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  225. bap-optimization
    A BAP plugin that removes dead IR code
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  226. bap-patterns
    Applies semantic actions to the matching byte patterns
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  227. bap-phoenix
    BAP plugin that dumps information in a phoenix decompiler format
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Last published 14 Jul 2022
  228. bap-piqi
    BAP plugin for serialization based on piqi library
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Last published 14 Jul 2022
  229. bap-plugins
    BAP plugins support library
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Last published 14 Jul 2022
  230. bap-powerpc
    BAP PowerPC lifter
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  231. bap-primus
    The BAP Microexecution Framework
    BAP Team
    2.5.0
    MIT
    Used by 29 other packages
    Last published 14 Jul 2022
  232. bap-primus-dictionary
    BAP Primus Lisp library that provides dictionaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  233. bap-primus-exploring-scheduler
    Evaluates all machines, prioritizing the least visited
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  234. bap-primus-greedy-scheduler
    Evaluates all machines in the DFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  235. bap-primus-limit
    Ensures termination by limiting Primus machines
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  236. bap-primus-lisp
    BAP Primus Lisp Runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  237. bap-primus-loader
    Generic program loader for Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  238. bap-primus-mark-visited
    Registers the bap:mark-visited component
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  239. bap-primus-powerpc
    Performs the PowerPC target specific setup
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  240. bap-primus-print
    Prints Primus states and observations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  241. bap-primus-promiscuous
    Enables the promiscuous mode of execution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  242. bap-primus-propagate-taint
    A compatibility layer between different taint analysis frameworks
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  243. bap-primus-random
    Provides components for Primus state randomization
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  244. bap-primus-region
    Provides a set of operations to store and manipulate interval trees
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  245. bap-primus-round-robin-scheduler
    Evaluates all machines in the BFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  246. bap-primus-support
    Provides supporting components for Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  247. bap-primus-symbolic-executor
    Primus Symbolic Executor
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  248. bap-primus-systems
    Loads Primus systems and registers them in the system repository
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  249. bap-primus-taint
    A taint analysis control interface
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  250. bap-primus-test
    BAP Primus Testing and Program Verification module
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  251. bap-primus-track-visited
    Tracks basic blocks visited by Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  252. bap-primus-wandering-scheduler
    Evaluates all machines while
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  253. bap-primus-x86
    The x86 CPU support package for BAP Primus CPU emulator
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  254. bap-print
    Print plugin - print project in various formats
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  255. bap-radare2
    Extract symbols from binary using radare2
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  256. bap-raw
    Provides a loader for raw binaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  257. bap-recipe
    Stores command line parameters and resources in a single file
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  258. bap-recipe-command
    Provides commands to manipulate the recipe subsystem
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  259. bap-relation
    A set of relations (bimap)
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Last published 14 Jul 2022
  260. bap-relocatable
    Extracts symbolic information from the program relocations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  261. bap-report
    A BAP plugin that reports program status
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  262. bap-riscv
    BAP RISCV lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  263. bap-run
    A BAP plugin that executes a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  264. bap-saluki
    A verification framework for detecting vulnerability patterns in binaries
    BAP Team
    bap-1.6
    MIT
    Used by 0 other packages
    Last published 10 Apr 2019
  265. bap-server
    BAP RPC server
    BAP Team
    0.3.0
    MIT
    Used by 0 other packages
    Last published 10 Apr 2019
  266. bap-signatures
    A data package with binary signatures for BAP
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  267. bap-specification
    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  268. bap-ssa
    A BAP plugin, that translates a program into the SSA form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  269. bap-std
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 87 other packages
    Last published 14 Jul 2022
  270. bap-strings
    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Last published 14 Jul 2022
  271. bap-stub-resolver
    Identifies and manages stub functions in a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  272. bap-symbol-reader
    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  273. bap-systemz
    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  274. bap-taint
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  275. bap-taint-propagator
    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  276. bap-term-mapper
    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  277. bap-thumb
    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  278. bap-toplevel
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  279. bap-trace
    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  280. bap-traces
    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Last published 14 Jul 2022
  281. bap-trivial-condition-form
    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  282. bap-veri
    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    Last published 02 Jun 2020
  283. bap-warn-unused
    Emit a warning if an unused result may cause a bug or security issue
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Last published 14 Jul 2022
  284. bap-x86
    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Last published 14 Jul 2022
  285. bare
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Last published 14 Jul 2022
  286. bare_encoding
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3
    MIT
    Used by 0 other packages
    Last published 16 Feb 2022
  287. bark
    Unofficial OCaml port of elm/parser (v1.1.0)
    Justin Lubin <jlubi333@gmail.com>
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    Last published 20 Apr 2020
  288. base
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.15.1
    MIT
    Used by 193 other packages
    Last published 30 Sep 2022
  289. base-bytes
    Bytes library distributed with the OCaml compiler
    base
    Used by 177 other packages
    Last published 03 Jul 2014
  290. base-implicits
    Dummy base package for compilers with modular implicits support.
    Jeremy Yallop
    base
    Used by 1 other packages
    Last published 27 Mar 2017
  291. base-metaocaml-ocamlfind
    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    Used by 2 other packages
    Last published 27 Dec 2014
  292. base-native-int63
    Virtual package for enabling native int63 support in Base
    Jane Street Group, LLC
    0.1
    Apache-2.0
    Used by 0 other packages
    Last published 19 Apr 2017
  293. base32
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    Last published 14 Jun 2022
  294. base58
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    Last published 19 Oct 2015
  295. base64
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.1
    ISC
    Used by 98 other packages
    Last published 01 Feb 2023
  296. base_bigstring
    String type based on [Bigarray], for use in I/O and C-bindings
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 3 other packages
    Last published 21 Mar 2022
  297. base_quickcheck
    Randomized testing framework, designed for compatibility with Base
    Jane Street Group, LLC
    v0.15.0
    MIT
    Used by 9 other packages
    Last published 21 Mar 2022
  298. bastet
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    Last published 20 Feb 2021
  299. bastet_async
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 27 Mar 2020
  300. bastet_lwt
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 27 Mar 2020
  301. batch_jaro_winkler
    Fast batch jaro winkler distance implementation in C99
    Dominik Bousquet
    0.1.1
    MIT
    Used by 0 other packages
    Last published 26 Apr 2021
  302. batsh
    A (C-like syntax) programming language that compiles to Bash and Windows Batch.
    BYVoid <byvoid@byvoid.com>
    0.0.6
    MIT
    Used by 0 other packages
    Last published 21 Jan 2015
  303. batteries
    A community-maintained standard library extension
    OCaml batteries-included team
    3.6.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 77 other packages
    Last published 12 Dec 2022
  304. bau
    Bigarray utilities
    Leonid Rozenberg <leonidr@gmail.com>
    0.0.4
    Apache-2.0
    Used by 1 other packages
    Last published 28 Oct 2017
  305. bdd
    Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
    Jean-Christophe Filliatre
    0.3
    GPL-1.0-or-later
    Used by 2 other packages
    Last published 25 Aug 2014
  306. bddapron
    Logico-numerical domain(s) based on BDDs and APRON
    Bertrand Jeannet
    2.3.3
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Feb 2019
  307. bddrand
    A simple front-end to the lutin Random toss machinary
    Erwan Jahier Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    Last published 03 Nov 2022
  308. bear
    Bare essential additions to the stdlib
    Hezekiah M. Carty
    0.0.1
    MIT
    Used by 1 other packages
    Last published 06 Sep 2015
  309. bech32
    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    bitcoin
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    ISC
    Used by 0 other packages
    Last published 15 Apr 2020
  310. bechamel
    Yet Another Benchmark in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 8 other packages
    Last published 25 Jun 2022
  311. bechamel-js
    HTML generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 1 other packages
    Last published 25 Jun 2022
  312. bechamel-notty
    CLI generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 2 other packages
    Last published 25 Jun 2022
  313. bechamel-perf
    Linux perf's metrics for bechamel
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 1 other packages
    Last published 25 Jun 2022
  314. beluga
    Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    Brigitte Pientka Joshua Dunfield Andrew Cave Jacob Thomas Errington Junyoung Clare Jang
    1.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 06 Jan 2021
  315. benchmark
    Benchmark running times of code
    benchmark
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley
    1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Last published 09 Sep 2018
  316. benchpress
    Tool to run one or more logic programs, on a set of files, and collect the results
    Simon Cruanes Guillaume Bury
    0.1
    Used by 1 other packages
    Last published 30 Jul 2020
  317. benchpress-server
    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    Last published 30 Jul 2020
  318. bencode
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 2 other packages
    Last published 11 Dec 2019
  319. bentov
    1D histogram sketching
    Mika Illouz
    1
    BSD
    Used by 2 other packages
    Last published 24 Jun 2020
  320. bes
    boolean expression simplifier
    Alexander Ostrovsky Markus Weissmann
    0.9.4.2
    BSD-3-Clause
    Used by 0 other packages
    Last published 21 Nov 2013
  321. bheap
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 5 other packages
    Last published 06 Sep 2020
  322. bibtex2html
    BibTeX to HTML translator
    Jean-Christophe Filliâtre Claude Marché
    1.99-1
    GPL-2.0-only
    Used by 0 other packages
    Last published 16 Nov 2020
  323. bigarray-compat
    Compatibility library to use Stdlib.Bigarray when possible
    Lucas Pluvinage <lucas.pluvinage@gmail.com>
    1.1.0
    ISC
    Used by 40 other packages
    Last published 26 Jan 2022
  324. bigarray-overlap
    Bigarray.overlap
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.2.1
    MIT
    Used by 3 other packages