4563 search results for ""

Showing 2101 - 2150
  1. junit_ounit
    Documentation
    JUnit XML reports generation for OUnit tests
    junit jenkins ounit
    Louis Roché <louis@louisroche.net> Simon Cruanes <simon.cruanes.2007@m4x.org>
    2.3.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 May 2025
  2. jupyter
    Documentation
    An OCaml kernel for Jupyter
    Akinori ABE
    3.0.1
    MIT
    Used by 2 other packages
    31 Dec 2025
  3. jupyter-archimedes
    Documentation
    A Jupyter-friendly 2D plotting library (Archimedes backend)
    Akinori ABE
    2.7.3
    MIT
    Used by 0 other packages
    23 Mar 2022
  4. jupyter-kernel
    Documentation
    Library to write jupyter kernels (interactive notebooks)
    jupyter ipython
    Simon Cruanes Andrew Ray
    0.8
    BSD-2-Clause
    Used by 0 other packages
    19 Nov 2021
  5. jws
    Documentation
    Implementation of JWS (RFC7515) with Jsont and mirage-crypto
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.2
    MIT
    Used by 2 other packages
    09 Apr 2026
  6. jwt
    Documentation
    Implementation of JWT in OCaml.
    Danny Willems <contact@danny-willems.be>
    0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    29 Sep 2016
  7. jwto
    Documentation
    JWT encoding, decoding and verification
    Sebastian Porto
    0.4.0
    MIT
    Used by 3 other packages
    05 Oct 2021
  8. kafka
    Documentation
    OCaml bindings for Kafka
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.5
    MIT
    Used by 2 other packages
    13 Aug 2020
  9. kafka_async

    No documentation

    OCaml bindings for Kafka, Async bindings
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.5
    MIT
    Used by 0 other packages
    13 Aug 2020
  10. kafka_lwt
    Documentation
    OCaml bindings for Kafka, Lwt bindings
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.5
    MIT
    Used by 0 other packages
    13 Aug 2020
  11. kappa-agents
    Documentation
    Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  12. kappa-binaries
    Documentation
    Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  13. kappa-library
    Documentation
    Public internals of the Kappa tool suite. Use this package to use kappa as a lib
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 2 other packages
    13 Sep 2024
  14. kappa-server

    No documentation

    HTTP server delivering the Kappa tool suite capabilities
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.0
    LGPL-3.0-only
    Used by 0 other packages
    17 Sep 2020
  15. kaputt
    Documentation
    Testing tool
    1.2
    Used by 2 other packages
    21 Nov 2013
  16. karamel

    No documentation

    A compiler from Low*, a low-level subset of F*, to C
    Jonathan Protzenko <jonathan.protzenko@gmail.com>
    1.0.0
    Apache-2.0
    Used by 1 other packages
    05 Apr 2023
  17. kaun
    Documentation
    Neural networks for OCaml
    neural-networks machine-learning deep-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  18. kaun-board
    Documentation
    Training dashboard and logging for Raven
    training-dashboard monitoring logging machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  19. kcas
    Documentation
    Software transactional memory based on lock-free multi-word compare-and-set
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 4 other packages
    27 Feb 2024
  20. kcas_data
    Documentation
    Compositional lock-free data structures and primitives for communication and synchronization
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 0 other packages
    27 Feb 2024
  21. kdf
    Documentation
    Key Derivation Functions: HKDF RFC 5869, PBKDF RFC 2898, SCRYPT RFC 7914
    Alfredo Beaumont <alfredo.beaumont@gmail.com> Sonia Meruelo <smeruelo@gmail.com> Hannes Mehnert <hannes@mehnert.org>
    1.1.0
    BSD-2-Clause
    Used by 3 other packages
    01 Jul 2026
  22. kdl
    Documentation
    OCaml implementation of the KDL Document Language
    data-serialization-format configuration-format org:eilvelia
    eilvelia <hi@eilvelia.cat>
    0.2.0
    MPL-2.0
    Used by 1 other packages
    31 Dec 2024
  23. ke
    Documentation
    Queue implementation
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.6
    MIT
    Used by 24 other packages
    07 Apr 2022
  24. key-parsers
    Documentation
    Parsers for multiple key formats
    Cryptosense <opensource@cryptosense.com> Nathan Rebours <nathan.p.rebours@gmail.com>
    1.5.0
    BSD-2-Clause
    Used by 0 other packages
    08 Dec 2022
  25. keyseq
    Documentation
    Deterministic planner for human-like typing
    typing-simulation human-typing keystroke deterministic
    Sergiy Duras <sergiy@duras.org>
    0.1.0
    ISC
    Used by 0 other packages
    04 Jul 2026
  26. kicadsch
    Documentation
    Library to read and convert Kicad Sch files
    Jean-Noël Avila <jn.avila@free.fr>
    0.9.0
    ISC
    Used by 1 other packages
    24 Nov 2021
  27. kind2
    Documentation
    Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
    The Kind 2 development team
    3.0.0
    Apache-2.0
    Used by 0 other packages
    11 Jun 2026
  28. kinetic-client
    Documentation
    Client API for Seagate's Kinetic drives
    Romain Slootmaekers <romain.slootmaekers@openvstorage.com>
    0.0.11
    LGPL-2.0-or-later
    Used by 0 other packages
    17 Dec 2018
  29. kittyimg
    Documentation
    An implementation of Kitty's terminal graphics protocol
    Armaël Guéneau <armael.gueneau@ens-lyon.org>
    0.1
    MIT
    Used by 1 other packages
    24 Jan 2023
  30. kkmarkdown
    Documentation
    A safe markdown engine
    kkeundotnet <kkeundotnet@gmail.com>
    1.1.0
    Unlicense
    Used by 0 other packages
    06 Dec 2023
  31. kmt
    Documentation
    Framework for deriving Kleene Algebras with Tests (KAT)
    Michael Greenberg <michael@greenberg.science>
    0.1
    MIT
    Used by 0 other packages
    23 Jun 2022
  32. knights_tour
    Documentation
    Solves the 'Knights Tour' and various 'Poyomino' puzzles
    Kris De Volder
    0.0.6
    MIT
    Used by 0 other packages
    11 Sep 2025
  33. kot
    Documentation
    Persistent catenable deques
    François Pottier <francois.pottier@inria.fr> Juliette Ponsonnet <juliette.ponsonnet@ens-lyon.fr>
    20251212
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Dec 2025
  34. kqueue
    Documentation
    OCaml bindings for kqueue event notification interface
    kqueue
    Anurag Soni
    0.7.0
    BSD-3-clause
    Used by 0 other packages
    02 Mar 2026
  35. krb
    Documentation
    A library for using Kerberos for both Rpc and Tcp communication
    Jane Street Group, LLC
    v0.16.0
    MIT
    Used by 1 other packages
    14 Jun 2023
  36. kremlin

    No documentation

    Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled
    Jonathan Protzenko <jonathan.protzenko@gmail.com>
    transition
    Apache-2.0
    Used by 0 other packages
    05 Apr 2023
  37. ktdeque

    No documentation

    Kaplan-Tarjan persistent real-time deque, with O(1) catenation
    data-structures deque persistent rocq kaplan-tarjan
    Yann Régis-Gianas
    0.2.0
    MIT
    Used by 0 other packages
    18 Jun 2026
  38. kubecaml
    Documentation
    Kubernetes API client for OCaml
    Andre Nathan <andre@hostnet.com.br>
    0.1.0
    MIT
    Used by 0 other packages
    29 Mar 2018
  39. kuznechik
    Documentation
    Implementation of Kuzneechik cipher
    Belousov Dmitry <beldmian@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    28 Sep 2024
  40. kyotocabinet
    Documentation
    OCaml bindings for Kyoto Cabinet DBM
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.2
    GPL-1.0-or-later
    Used by 0 other packages
    11 Feb 2018
  41. lab
    Documentation
    GitLab cli
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 0 other packages
    05 Oct 2023
  42. lablgl
    Documentation
    Interface to OpenGL
    Jacques Garrigue
    1.07
    BSD-3-Clause
    Used by 2 other packages
    02 Mar 2023
  43. lablgtk
    Documentation
    OCaml interface to GTK+
    Jacques Garrigue
    2.18.14
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    28 Jan 2025
  44. lablgtk-extras

    No documentation

    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
    gtk utils configuration
    Maxence Guesdon
    1.6
    LGPL-2.0-or-later
    Used by 0 other packages
    10 Apr 2017
  45. lablgtk3
    Documentation
    OCaml interface to GTK+3
    Jacques Garrigue
    3.1.5-1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    19 Nov 2025
  46. lablgtk3-extras
    Documentation
    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk3
    gtk
    Zoggy <zoggy@bat8.org>
    3.0.1
    LGPL-3.0-only
    Used by 0 other packages
    15 Dec 2021
  47. lablgtk3-goocanvas2
    Documentation
    OCaml interface to GTK+ GooCanvas library
    Jacques Garrigue
    3.1.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2024
  48. lablgtk3-gtkspell3
    Documentation
    OCaml interface to GTK+3
    Jacques Garrigue
    3.1.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2024
  49. lablgtk3-rsvg2
    Documentation
    OCaml interface to Gnome rsvg2 library
    Jacques Garrigue
    3.1.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2024
  50. lablgtk3-sourceview3
    Documentation
    OCaml interface to GTK+ gtksourceview library
    Jacques Garrigue
    3.1.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    17 Jun 2024
... 42 43 44 ... 92