4650 search results for ""

Showing 3951 - 4000
  1. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.3.1
    MIT
    Used by 25 other packages
    09 Mar 2025
  2. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    04 Jan 2022
  3. squirrel
    Documentation
    The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model
    David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
    0.1
    Used by 0 other packages
    10 Feb 2022
  4. srs

    No documentation

    OCaml bindings for libsrs2
    Andre Nathan <andre@hostnet.com.br>
    2.0.0
    MIT
    Used by 0 other packages
    01 Mar 2018
  5. srt
    Documentation
    Binding for the Secure, Reliable, Transport protocol library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.3.4
    GPL-2.0-or-later
    Used by 0 other packages
    05 May 2025
  6. ssh-agent
    Documentation
    Ssh-agent protocol parser and serialization implementation
    Reynir Björnsson <reynir@reynir.dk>
    0.4.1
    BSD-2-clause
    Used by 0 other packages
    17 Feb 2023
  7. ssl
    Documentation
    Bindings for OpenSSL
    Samuel Mimram <samuel.mimram@ens-lyon.org>
    0.7.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 22 other packages
    24 Jul 2023
  8. sslconf
    Documentation
    An OCaml version of Openssl's NCONF library
    Tony Wuersch <tony.wuersch@gmail.com>
    0.8.3
    ISC
    Used by 0 other packages
    30 Oct 2017
  9. starpath
    Documentation
    A position-aware parser combinator library with readable errors
    parser parser-combinators
    Matthew Toohey <contact@mtoohey.com>
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    25 Jan 2024
  10. starred_ml
    Documentation
    Generates a awesome list markdown
    Paulo Suzart
    0.0.7
    CC0-1.0
    Used by 0 other packages
    15 Jan 2025
  11. starterkit

    No documentation

    Virtual package for starting OCaml
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    28 Mar 2016
  12. statmemprof-emacs

    No documentation

    Emacs client for statistical memory profiler
    Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> Frédéric Bour <frederic.bour@lakaban.net>
    0.1.0
    MIT
    Used by 0 other packages
    13 Nov 2017
  13. statocaml
    Documentation
    Computing statistics about ocaml development
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 7 other packages
    27 Jun 2025
  14. statocaml_changelog
    Documentation
    Typed changelog
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 7 other packages
    27 Jun 2025
  15. statocaml_community
    Documentation
    Community detection
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 2 other packages
    27 Jun 2025
  16. statocaml_db
    Documentation
    Database
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    27 Jun 2025
  17. statocaml_github
    Documentation
    Computing statistics about ocaml project on github
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 7 other packages
    27 Jun 2025
  18. statocaml_go
    Documentation
    Generating plots for ocaml project
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 0 other packages
    27 Jun 2025
  19. statocaml_gui
    Documentation
    GUI for statocaml
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 1 other packages
    27 Jun 2025
  20. statocaml_html
    Documentation
    Generating html pages
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 2 other packages
    27 Jun 2025
  21. statocaml_plots
    Documentation
    Generating plits
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 4 other packages
    27 Jun 2025
  22. statocaml_profile
    Documentation
    Computing ocaml contributors' profiles
    Zoggy <zoggy@bat8.org>
    0.1.0
    LGPL-3.0-only
    Used by 5 other packages
    27 Jun 2025
  23. statverif
    Documentation
    StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif
    Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre
    1.97pl1.2
    GPL-2.0-only
    Used by 0 other packages
    13 Aug 2019
  24. stb_image
    Documentation
    OCaml bindings to stb_image, a public domain image loader
    Frederic Bour <frederic.bour@lakaban.net>
    0.5
    CC0-1.0+
    Used by 2 other packages
    30 Jun 2019
  25. stb_image_write
    Documentation
    OCaml bindings to stb_image_write, a public domain image writer
    Frederic Bour <frederic.bour@lakaban.net>
    0.2
    CC0-1.0+
    Used by 1 other packages
    28 Nov 2016
  26. stb_truetype
    Documentation
    OCaml bindings to stb_truetype, a public domain font rasterizer
    Frederic Bour <frederic.bour@lakaban.net>
    0.7
    CC0-1.0+
    Used by 4 other packages
    13 Jan 2023
  27. stdcompat
    Documentation
    Compatibility module for OCaml standard library
    Thierry Martinez <martinez@nsup.org>
    21.1
    LGPL-2.1-or-later
    Used by 23 other packages
    21 Aug 2025
  28. stdint
    Documentation
    Signed and unsigned integer types having specified widths
    Andre Nathan <andre@digirati.com.br> Jeff Shaw <shawjef3@msu.edu> Markus W. Weissmann <markus.weissmann@in.tum.de> Florian Pichlmeier <florian.pichlmeier@mytum.de>
    0.7.2
    MIT
    Used by 32 other packages
    19 Oct 2022
  29. stdint-literals
    Documentation
    Small PPX for fixed size integer literals
    Virgile Robles
    1.0
    MIT
    Used by 0 other packages
    02 Nov 2022
  30. stdio
    Documentation
    Standard IO library for OCaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 94 other packages
    23 May 2024
  31. stdlib-diff
    Documentation
    Symmetric Diffs for OCaml stdlib and ReasonML
    Jan Hrdina <jan.hrdka@gmail.com>
    0.1.3
    MIT
    Used by 0 other packages
    16 May 2019
  32. stdlib-random
    Documentation
    Versioned Random module from the OCaml standard library
    Damien Doligez Xavier Leroy
    1.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    29 Mar 2024
  33. stdlib-shims
    Documentation
    Backport some of the new stdlib features to older compiler
    stdlib compatibility org:ocaml
    The stdlib-shims programmers
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 76 other packages
    03 Feb 2021
  34. stdune
    Documentation
    Dune's unstable standard library
    Jane Street Group, LLC <opensource@janestreet.com>
    3.20.2
    MIT
    Used by 13 other packages
    10 Sep 2025
  35. stemmer
    Documentation
    Porter stemming algorithm in pure OCaml
    Erik L. Arneson <earneson@arnesonium.com>
    0.2
    GNUv2
    Used by 0 other packages
    20 Dec 2014
  36. stemming
    Documentation
    Collection of stemmers
    org:ygrek
    ygrek Mykola Stryebkov
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Jul 2018
  37. stitch
    Documentation
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    19 Feb 2019
  38. stk
    Documentation
    SDL-based GUI toolkit
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 5 other packages
    21 Jun 2025
  39. stk_iconv
    Documentation
    Bindings to GNU libiconv
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 1 other packages
    21 Jun 2025
  40. stk_ocf
    Documentation
    Utils to build GUI above Ocf
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 2 other packages
    21 Jun 2025
  41. stk_ppx
    Documentation
    PPX used for debug logging in Stk
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 1 other packages
    21 Jun 2025
  42. stk_rdf
    Documentation
    Utilities to display and edit RDF data
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 1 other packages
    21 Jun 2025
  43. stk_xml
    Documentation
    Library to display xml/html
    Zoggy <zoggy@bat8.org>
    0.5.0
    GPL-3.0-only
    Used by 0 other packages
    21 Jun 2025
  44. stog
    Documentation
    Static web site compiler, able to handle blog posts as well as regular pages or any XML document in general
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 15 other packages
    19 Dec 2024
  45. stog-rdf

    No documentation

    Plugin for Stog. Define and query RDF graphs in rewrite rules.
    publication rdf sparql semantic web
    Maxence Guesdon
    0.16.1
    GPL-3.0-only
    Used by 0 other packages
    22 Mar 2016
  46. stog-writing
    Documentation
    Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    publication web blog bibliography
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  47. stog_all
    Documentation
    Virtual package to install all Stog libraries, tools and plugins
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  48. stog_asy
    Documentation
    Stog plugin to include Asymptote results in documents
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 1 other packages
    19 Dec 2024
  49. stog_dot
    Documentation
    Stog plugin to generate and include graphviz graphs in documents
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 1 other packages
    19 Dec 2024
  50. stog_extern
    Documentation
    Stog plugin to pipe documents in external commands
    Zoggy <zoggy@bat8.org>
    1.1.0
    GPL-3.0-only
    Used by 1 other packages
    19 Dec 2024
... 79 80 81 ... 93