4435 search results for ""
Showing 3901 - 3950
-
20231201GPL-2.0-onlyUsed by 0 other packages24 Jun 2024
-
SQLite3 bindings for OCaml5.4.0MITUsed by 25 other packages23 Feb 2026
-
0.5MITUsed by 0 other packages04 Jan 2022
-
squirrel
No documentation
The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model0.1Used by 0 other packages10 Feb 2022 -
srs
No documentation
OCaml bindings for libsrs22.0.0MITUsed by 0 other packages01 Mar 2018 -
Binding for the Secure, Reliable, Transport protocol library0.3.4GPL-2.0-or-laterUsed by 0 other packages05 May 2025
-
Ssh-agent protocol parser and serialization implementation0.4.1BSD-2-clauseUsed by 0 other packages17 Feb 2023
-
Bindings for OpenSSL0.7.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 23 other packages24 Jul 2023
-
An OCaml version of Openssl's NCONF library0.8.3ISCUsed by 0 other packages30 Oct 2017
-
A position-aware parser combinator library with readable errors0.1.2BSD-3-ClauseUsed by 0 other packages25 Jan 2024
-
Generates a awesome list markdown0.0.7CC0-1.0Used by 0 other packages15 Jan 2025
-
starterkit
No documentation
Virtual package for starting OCaml1.0.0BSD-3-ClauseUsed by 0 other packages28 Mar 2016 -
statmemprof-emacs
No documentation
Emacs client for statistical memory profiler0.1.0MITUsed by 0 other packages13 Nov 2017 -
statocaml
No documentation
Computing statistics about ocaml development0.1.0LGPL-3.0-onlyUsed by 7 other packages27 Jun 2025 -
statocaml_changelog
No documentation
Typed changelog0.1.0LGPL-3.0-onlyUsed by 7 other packages27 Jun 2025 -
statocaml_community
No documentation
Community detection0.1.0LGPL-3.0-onlyUsed by 2 other packages27 Jun 2025 -
statocaml_db
No documentation
Database0.1.0LGPL-3.0-onlyUsed by 1 other packages27 Jun 2025 -
statocaml_github
No documentation
Computing statistics about ocaml project on github0.1.0LGPL-3.0-onlyUsed by 7 other packages27 Jun 2025 -
statocaml_go
No documentation
Generating plots for ocaml project0.1.0LGPL-3.0-onlyUsed by 0 other packages27 Jun 2025 -
statocaml_gui
No documentation
GUI for statocaml0.1.0LGPL-3.0-onlyUsed by 1 other packages27 Jun 2025 -
statocaml_html
No documentation
Generating html pages0.1.0LGPL-3.0-onlyUsed by 2 other packages27 Jun 2025 -
statocaml_plots
No documentation
Generating plits0.1.0LGPL-3.0-onlyUsed by 4 other packages27 Jun 2025 -
statocaml_profile
No documentation
Computing ocaml contributors' profiles0.1.0LGPL-3.0-onlyUsed by 5 other packages27 Jun 2025 -
StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif1.97pl1.2GPL-2.0-onlyUsed by 0 other packages13 Aug 2019
-
OCaml bindings to stb_image, a public domain image loader0.5CC0-1.0+Used by 2 other packages30 Jun 2019
-
OCaml bindings to stb_image_write, a public domain image writer0.2CC0-1.0+Used by 1 other packages28 Nov 2016
-
OCaml bindings to stb_truetype, a public domain font rasterizer0.7CC0-1.0+Used by 4 other packages13 Jan 2023
-
Compatibility module for OCaml standard library21.1LGPL-2.1-or-laterUsed by 23 other packages21 Aug 2025
-
Signed and unsigned integer types having specified widths0.7.2MITUsed by 29 other packages19 Oct 2022
-
Small PPX for fixed size integer literals1.0MITUsed by 0 other packages02 Nov 2022
-
Standard IO library for OCamlv0.17.0MITUsed by 98 other packages23 May 2024
-
Symmetric Diffs for OCaml stdlib and ReasonML0.1.3MITUsed by 0 other packages16 May 2019
-
Versioned Random module from the OCaml standard library1.2.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages29 Mar 2024
-
Backport some of the new stdlib features to older compiler0.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 77 other packages03 Feb 2021
-
Dune's unstable standard library3.21.1MITUsed by 14 other packages13 Feb 2026
-
Porter stemming algorithm in pure OCaml0.2GNUv2Used by 0 other packages20 Dec 2014
-
0.2.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages08 Jul 2018
-
0.0.0BSD-2-ClauseUsed by 0 other packages19 Feb 2019
-
stk
No documentation
SDL-based GUI toolkit0.5.0GPL-3.0-onlyUsed by 5 other packages21 Jun 2025 -
Bindings to GNU libiconv0.5.0GPL-3.0-onlyUsed by 1 other packages21 Jun 2025
-
stk_ocf
No documentation
Utils to build GUI above Ocf0.5.0GPL-3.0-onlyUsed by 2 other packages21 Jun 2025 -
PPX used for debug logging in Stk0.5.0GPL-3.0-onlyUsed by 1 other packages21 Jun 2025
-
stk_rdf
No documentation
Utilities to display and edit RDF data0.5.0GPL-3.0-onlyUsed by 1 other packages21 Jun 2025 -
stk_xml
No documentation
Library to display xml/html0.5.0GPL-3.0-onlyUsed by 0 other packages21 Jun 2025 -
Static web site compiler, able to handle blog posts as well as regular pages or any XML document in general1.1.0GPL-3.0-onlyUsed by 15 other packages19 Dec 2024
-
stog-rdf
No documentation
Plugin for Stog. Define and query RDF graphs in rewrite rules.0.16.1GPL-3.0-onlyUsed by 0 other packages22 Mar 2016 -
Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents0.19.0GPL-3.0-onlyUsed by 0 other packages18 May 2021
-
Virtual package to install all Stog libraries, tools and plugins1.1.0GPL-3.0-onlyUsed by 0 other packages19 Dec 2024
-
Stog plugin to include Asymptote results in documents1.1.0GPL-3.0-onlyUsed by 1 other packages19 Dec 2024
-
Stog plugin to generate and include graphviz graphs in documents1.1.0GPL-3.0-onlyUsed by 1 other packages19 Dec 2024