4606 search results for "author:" ""
Showing 1901 - 1950
-
A wrapper in Js_of_ocaml to deal with BroadcastChannel2.0.0GPL-3.0-onlyUsed by 0 other packages13 Feb 2020
-
Jsoo_router provide an extension point to manage route with the Hash1.0GPL-3.0-onlyUsed by 0 other packages28 Nov 2016
-
A wrapper in Js_of_ocaml for the WebStorage API1.0.1MITUsed by 0 other packages13 Feb 2020
-
Compile-time configuration for Jane Street librariesv0.17.0MITUsed by 4 other packages23 May 2024
-
2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages13 Feb 2020
-
JUnit XML reports generation for alcotest tests2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 9 other packages13 Feb 2020
-
JUnit XML reports generation for OUnit tests2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Feb 2020
-
An OCaml kernel for Jupyter notebook2.8.3MITUsed by 2 other packages12 Aug 2023
-
A Jupyter-friendly 2D plotting library (Archimedes backend)2.7.3MITUsed by 0 other packages23 Mar 2022
-
0.8BSD-2-ClauseUsed by 0 other packages19 Nov 2021
-
Implementation of JWT in OCaml.0.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages29 Sep 2016
-
JWT encoding, decoding and verification0.4.0MITUsed by 2 other packages05 Oct 2021
-
Software suite for the Kappa language4.0.0LGPL-3.0-onlyUsed by 0 other packages03 Apr 2018
-
OCaml bindings for Kafka0.5MITUsed by 2 other packages13 Aug 2020
-
OCaml bindings for Kafka, Async bindings0.5MITUsed by 0 other packages13 Aug 2020
-
OCaml bindings for Kafka, Lwt bindings0.5MITUsed by 0 other packages13 Aug 2020
-
Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server4.1.3LGPL-3.0-onlyUsed by 0 other packages13 Sep 2024
-
Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools4.1.3LGPL-3.0-onlyUsed by 0 other packages13 Sep 2024
-
Public internals of the Kappa tool suite. Use this package to use kappa as a lib4.1.3LGPL-3.0-onlyUsed by 2 other packages13 Sep 2024
-
kappa-server
No documentation
HTTP server delivering the Kappa tool suite capabilities4.1.0LGPL-3.0-onlyUsed by 0 other packages17 Sep 2020 -
karamel
No documentation
A compiler from Low*, a low-level subset of F*, to C1.0.0Apache-2.0Used by 1 other packages05 Apr 2023 -
Software transactional memory based on lock-free multi-word compare-and-set0.7.0ISCUsed by 4 other packages27 Feb 2024
-
Compositional lock-free data structures and primitives for communication and synchronization0.7.0ISCUsed by 0 other packages27 Feb 2024
-
Key Derivation Functions: HKDF RFC 5869, PBKDF RFC 2898, SCRYPT RFC 79141.0.0BSD-2-ClauseUsed by 3 other packages28 Aug 2024
-
An implementation of the KDL document laguage0.1.0MITUsed by 0 other packages03 Oct 2022
-
Queue implementation0.6MITUsed by 27 other packages07 Apr 2022
-
ketrew
No documentation
A Workflow Engine for Computational Experiments3.2.1Used by 0 other packages08 Oct 2017 -
Parsers for multiple key formats1.5.0BSD-2-ClauseUsed by 1 other packages08 Dec 2022
-
Library to read and convert Kicad Sch files0.9.0ISCUsed by 1 other packages24 Nov 2021
-
Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs2.2.0Apache-2.0Used by 0 other packages24 May 2024
-
Client API for Seagate's Kinetic drives0.0.11LGPL-2.0-or-laterUsed by 0 other packages17 Dec 2018
-
An implementation of Kitty's terminal graphics protocol0.1MITUsed by 1 other packages24 Jan 2023
-
A safe markdown engine1.1.0UnlicenseUsed by 0 other packages06 Dec 2023
-
Framework for deriving Kleene Algebras with Tests (KAT)0.1MITUsed by 0 other packages23 Jun 2022
-
Solves the 'Knights Tour' and various 'Poyomino' puzzles0.0.5MITUsed by 0 other packages15 Sep 2023
-
0.4.0BSD-3-clauseUsed by 1 other packages17 Feb 2024
-
A library for using Kerberos for both Rpc and Tcp communicationv0.16.0MITUsed by 1 other packages14 Jun 2023
-
kremlin
No documentation
Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalledtransitionApache-2.0Used by 0 other packages05 Apr 2023 -
Kubernetes API client for OCaml0.1.0MITUsed by 0 other packages29 Mar 2018
-
Implementation of Kuzneechik cipher0.2.0MITUsed by 0 other packages28 Sep 2024
-
OCaml bindings for Kyoto Cabinet DBM0.2GPL-1.0-or-laterUsed by 0 other packages11 Feb 2018
-
GitLab cli0.1.8BSD-3-clauseUsed by 0 other packages05 Oct 2023
-
Interface to OpenGL1.07BSD-3-ClauseUsed by 3 other packages02 Mar 2023
-
OCaml interface to GTK+2.18.13LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 36 other packages12 Oct 2022
-
lablgtk-extras
No documentation
A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.1.6LGPL-2.0-or-laterUsed by 4 other packages10 Apr 2017 -
OCaml interface to GTK+33.1.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 16 other packages17 Jun 2024
-
A collection of additional tools and libraries to develop ocaml applications based on Lablgtk33.0.1LGPL-3.0-onlyUsed by 1 other packages15 Dec 2021
-
OCaml interface to GTK+ GooCanvas library3.1.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2024
-
OCaml interface to GTK+33.1.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2024
-
OCaml interface to Gnome rsvg2 library3.1.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2024