4507 search results for ""

Showing 2101 - 2150
  1. 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
  2. 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
  3. 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
  4. 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
  5. ke
    Documentation
    Queue implementation
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.6
    MIT
    Used by 24 other packages
    07 Apr 2022
  6. 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
  7. 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
  8. kind2

    No 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
  9. 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
  10. 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
  11. kkmarkdown
    Documentation
    A safe markdown engine
    kkeundotnet <kkeundotnet@gmail.com>
    1.1.0
    Unlicense
    Used by 0 other packages
    06 Dec 2023
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. kuznechik
    Documentation
    Implementation of Kuzneechik cipher
    Belousov Dmitry <beldmian@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    28 Sep 2024
  20. 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
  21. lab
    Documentation
    GitLab cli
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 0 other packages
    05 Oct 2023
  22. lablgl
    Documentation
    Interface to OpenGL
    Jacques Garrigue
    1.07
    BSD-3-Clause
    Used by 2 other packages
    02 Mar 2023
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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 0 other packages
    02 Jul 2021
  33. 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
  34. 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 10 other packages
    11 Dec 2024
  35. ladspa
    Documentation
    Bindings for the LADSPA API which provides audio effects
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.2.2
    LGPL-2.1
    Used by 1 other packages
    11 Jan 2022
  36. lambda
    Documentation
    λ-calculus ocaml library
    Davide Gessa <gessadavide@gmail.com>
    0.1.7
    MIT
    Used by 0 other packages
    21 Apr 2020
  37. lambda-runtime
    Documentation
    A custom runtime for AWS Lambda written in OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.1.0
    BSD-3-clause
    Used by 1 other packages
    18 Apr 2021
  38. lambda-term

    No documentation

    Terminal manipulation library for OCaml
    Jérémie Dimino
    3.4.0
    BSD-3-Clause
    Used by 9 other packages
    06 Apr 2026
  39. lambda_streams
    Documentation
    Lambda-based streaming library
    Risto Stevcev
    0.1.2
    BSD-3-Clause
    Used by 2 other packages
    17 Mar 2020
  40. lambda_streams_async
    Documentation
    Async helpers for lambda_streams
    Risto Stevcev
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    21 Mar 2020
  41. lambda_streams_lwt
    Documentation
    Lwt helpers for lambda_streams
    Risto Stevcev
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    21 Mar 2020
  42. lambdapi
    Documentation
    Proof assistant for the λΠ-calculus modulo rewriting
    Deducteam
    3.0.0
    CECILL-2.1
    Used by 0 other packages
    21 Jul 2025
  43. lambdasoup
    Documentation
    Easy functional HTML scraping and manipulation with CSS selectors
    Anton Bachin
    1.1.1
    MIT
    Used by 16 other packages
    05 Sep 2024
  44. lame
    Documentation
    MP3 encoding library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.3.7
    GPL-2.0-or-later
    Used by 0 other packages
    17 May 2023
  45. landmarks

    No documentation

    A simple profiling library
    Marc Lasson <marc.lasson@lexifi.com>
    1.6
    MIT
    Used by 2 other packages
    13 May 2026
  46. landmarks-ppx

    No documentation

    Preprocessor instrumenting code using the landmarks library
    Marc Lasson <marc.lasson@lexifi.com>
    1.6
    MIT
    Used by 2 other packages
    13 May 2026
  47. lascar

    No documentation

    A library for manipulating Labeled Transition Systems in OCaml
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    0.7.0
    MIT
    Used by 1 other packages
    08 Mar 2021
  48. lastfm
    Documentation
    The lastfm library is an implementation of the API used by the last.fm to keep count of played songs
    Romain Beauxis <toots@rastageeks.org>
    0.3.4
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Apr 2024
  49. launchd

    No documentation

    Bindings for the launchd socket activation API
    David Scott
    1.3
    ISC
    Used by 0 other packages
    27 Dec 2018
  50. layoutz

    No documentation

    Friendly, expressive print-layout DSL for OCaml
    Matthieu Court <matthieu.court@protonmail.com>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    10 Apr 2026
... 42 43 44 ... 91