4519 search results for ""

Showing 2001 - 2050
  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 notebook
    Akinori ABE
    2.8.3
    MIT
    Used by 2 other packages
    12 Aug 2023
  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. 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
  6. jwto
    Documentation
    JWT encoding, decoding and verification
    Sebastian Porto
    0.4.0
    MIT
    Used by 2 other packages
    05 Oct 2021
  7. kafka
    Documentation
    OCaml bindings for Kafka
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.5
    MIT
    Used by 2 other packages
    13 Aug 2020
  8. kafka_async
    Documentation
    OCaml bindings for Kafka, Async bindings
    Didier Wenzek <didier.wenzek@acidalie.com>
    0.5
    MIT
    Used by 0 other packages
    13 Aug 2020
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. kaputt
    Documentation
    Testing tool
    1.2
    Used by 2 other packages
    21 Nov 2013
  15. 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
  16. kaun
    Documentation
    Flax-inspired neural network library for OCaml
    neural-networks machine-learning deep-learning
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 2 other packages
    05 Jul 2025
  17. 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
  18. 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
  19. 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.0.0
    BSD-2-Clause
    Used by 3 other packages
    28 Aug 2024
  20. 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 0 other packages
    31 Dec 2024
  21. ke
    Documentation
    Queue implementation
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.6
    MIT
    Used by 23 other packages
    07 Apr 2022
  22. 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
  23. 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
  24. kind2
    Documentation
    Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
    The Kind 2 development team
    2.3.0
    Apache-2.0
    Used by 0 other packages
    27 Feb 2025
  25. 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
  26. 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
  27. kkmarkdown
    Documentation
    A safe markdown engine
    kkeundotnet <kkeundotnet@gmail.com>
    1.1.0
    Unlicense
    Used by 0 other packages
    06 Dec 2023
  28. 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
  29. knights_tour
    Documentation
    Solves the 'Knights Tour' and various 'Poyomino' puzzles
    Kris De Volder
    0.0.5
    MIT
    Used by 0 other packages
    15 Sep 2023
  30. kqueue
    Documentation
    OCaml bindings for kqueue event notification interface
    kqueue
    Anurag Soni
    0.4.0
    BSD-3-clause
    Used by 1 other packages
    17 Feb 2024
  31. 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
  32. 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
  33. 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
  34. kuznechik
    Documentation
    Implementation of Kuzneechik cipher
    Belousov Dmitry <beldmian@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    28 Sep 2024
  35. 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
  36. lab
    Documentation
    GitLab cli
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 0 other packages
    05 Oct 2023
  37. lablgl
    Documentation
    Interface to OpenGL
    Jacques Garrigue
    1.07
    BSD-3-Clause
    Used by 2 other packages
    02 Mar 2023
  38. lablgtk
    Documentation
    OCaml interface to GTK+
    Jacques Garrigue
    2.18.14
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    28 Jan 2025
  39. 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
  40. lablgtk3
    Documentation
    OCaml interface to GTK+3
    Jacques Garrigue
    3.1.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    17 Jun 2024
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. lablgtkosx

    No documentation

    Lablgtkosx binds gOSX_application on top of lablgtk
    Pierre BOutillier
    2.01
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Jan 2017
  47. lablqml
    Documentation
    OCamlfind package and PPX extension to interface OCaml and QtQuick
    gui ui qt
    kakadu@pm.me
    0.7
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    02 Jul 2021
  48. labltk
    Documentation
    OCaml interface to Tcl/Tk
    Jacques Garrigue
    8.06.15
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    28 Jan 2025
  49. labrys

    No documentation

    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    09 Aug 2018
  50. lacaml
    Documentation
    Lacaml - OCaml-bindings to BLAS and LAPACK
    clib:lapack clib:blas
    Egbert Ammicht <eammicht@lucent.com> Patrick Cousot <Patrick.Cousot@ens.fr> Sam Ehrlichman <sehrlichman@janestreet.com> Florent Hoareau <h.florent@gmail.com> Markus Mottl <markus.mottl@gmail.com> et al.
    11.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    11 Dec 2024
... 40 41 42 ... 91