4233 search results for "author:" ""

Showing 3801 - 3850
  1. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  2. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    05 Apr 2022
  3. swhid_core
    Documentation
    OCaml library to work with swhids
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.1
    ISC
    Used by 2 other packages
    20 Jun 2022
  4. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 1 other packages
    03 Apr 2022
  5. swipl
    Documentation
    Bindings to SWI-Prolog for OCaml
    Kiran Gopinathan
    0.5
    GPL-3.0-or-later
    Used by 0 other packages
    08 Dec 2021
  6. syguslib-utils
    Documentation
    SyGuS Lib parser and utils
    Victor Nicolet
    0.1
    MIT
    Used by 0 other packages
    15 Dec 2021
  7. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    05 Mar 2026
  8. symkat
    Documentation
    Symbolic Algorithms for Kleene algebra with Tests (KAT)
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 0 other packages
    02 Feb 2016
  9. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    17 Feb 2026
  10. syncweb
    Documentation
    Syncweb, Literate Programming meets Unison
    Yoann Padioleau <yoann.padioleau@gmail.com>
    0.5.1
    GPL-2.0-only
    Used by 0 other packages
    26 Jan 2023
  11. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.8.0
    MIT
    Used by 2 other packages
    03 Mar 2026
  12. sys-socket
    Documentation
    Ctypes bindings to system-specific low-level socket structure and data-types
    Romain Beauxis <toots@rastageeks.org>
    1.0.0
    MIT
    Used by 1 other packages
    27 Jul 2019
  13. sys-socket-unix
    Documentation
    Ctypes bindings to unix-specific low-level socket structure and data-types
    Romain Beauxis <toots@rastageeks.org>
    1.0.0
    MIT
    Used by 0 other packages
    27 Jul 2019
  14. syslog
    Documentation
    syslog(3) routines for ocaml (RFC 3164)
    Shawn Wagner Eric Stokes
    2.0.2
    LGPL-2.1-or-later
    Used by 0 other packages
    03 Feb 2021
  15. syslog-message
    Documentation
    Syslog message parser
    Jochen Bartl <jochenbartl@mailbox.org>
    1.2.0
    BSD-2-Clause
    Used by 3 other packages
    04 Jun 2023
  16. syslog-rfc5424
    Documentation
    Syslog Protocol (RFC5424) parser and pretty-printer
    log syslog rfc5424
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    09 Dec 2025
  17. system-mingw

    No documentation

    Build OCaml for mingw-w64
    David Allsopp
    1
    CC0-1.0+
    Used by 5 other packages
    05 Jun 2024
  18. system-msvc

    No documentation

    Build OCaml for Microsoft Visual Studio
    David Allsopp
    1
    CC0-1.0+
    Used by 5 other packages
    05 Jun 2024
  19. systemverilog
    Documentation
    SystemVerilog for OCaml
    Xavier R. Guérin
    0.0.2
    ISC
    Used by 0 other packages
    15 Jun 2020
  20. TCSLib
    Documentation
    A multi-purpose library for OCaml.
    Oliver Friedmann Martin Lange
    0.3
    BSD-3-Clause
    Used by 1 other packages
    13 Feb 2018
  21. tablecloth-base
    Documentation
    Native OCaml library implementing Tablecloth, a cross-platform standard library for OCaml and Rescript
    Paul Biggar <paul@darklang.com> Dean Merchant <deanmerchant@gmail.com> Pomin Wu <pomin.wu@proton.me>
    0.0.10
    MIT
    Used by 1 other packages
    06 Aug 2024
  22. tablecloth-melange
    Documentation
    A portable standard library enhancement for Reason
    Paul Biggar <paul@darklang.com> Pomin Wu <pomin.wu@proton.me>
    0.0.9
    MIT
    Used by 0 other packages
    24 Jan 2024
  23. tablecloth-native
    Documentation
    Transitional package for tablecloth-native (renaming)
    Paul Biggar <paul@darklang.com> Dean Merchant <deanmerchant@gmail.com> Pomin Wu <pomin.wu@proton.me>
    transition
    MIT
    Used by 0 other packages
    08 Jan 2024
  24. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  25. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    19 Aug 2025
  26. taglib
    Documentation
    Bindings for the taglib library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.3.10
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Sep 2022
  27. talaria-bibtex
    Documentation
    A parser for bibtex files
    Florian Angeletti <octa@polychoron.fr>
    0.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jan 2023
  28. tallgeese

    No documentation

    Enhanced SSH on OS X
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.1
    BSD-3-Clause
    Used by 0 other packages
    13 Oct 2015
  29. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  30. tar
    Documentation
    Decode and encode tar format files in pure OCaml
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 6 other packages
    06 Mar 2025
  31. tar-eio
    Documentation
    Decode and encode tar format files using Eio
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  32. tar-mirage
    Documentation
    Read and write tar format files via MirageOS interfaces
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  33. tar-unix
    Documentation
    Decode and encode tar format files from Unix
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 2 other packages
    06 Mar 2025
  34. tcalc
    Documentation
    Minimal desktop calculator for timestamps
    Christian Lindig <lindig@gmail.com>
    1.1.1
    Unlicense
    Used by 0 other packages
    25 Jan 2025
  35. tcpip
    Documentation
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    9.0.1
    ISC
    Used by 34 other packages
    17 Apr 2025
  36. tcs-lib
    Documentation
    A multi-purpose library for OCaml
    Oliver Friedmann Martin Lange
    0.6
    BSD-3-clause
    Used by 3 other packages
    29 Sep 2025
  37. tcx
    Documentation
    OCaml library for parsing and formatting Training Center XML files.
    Anton Yabchinskiy <arn@bestmx.ru>
    0.25.0
    MIT
    Used by 0 other packages
    26 Mar 2015
  38. tdigest
    Documentation
    OCaml implementation of the T-Digest algorithm
    Simon Grondin Will Welch
    2.2.1
    MIT
    Used by 0 other packages
    21 May 2025
  39. tdk
    Documentation
    The Decision Kit is a collection of data structures that are useful
    Spiros Eliopoulos <seliopou@gmail.com>
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    10 Sep 2015
  40. telegraml
    Documentation
    Telegram Bot API for OCaml
    nv-vn <nv@cock.li>
    2.2.0
    MIT
    Used by 0 other packages
    20 Dec 2017
  41. telemetry
    Documentation
    A lightweight library for dispatching and handling events, with a focus on metrics and instrumentation
    topics telemetry events metrics instrumentation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 3 other packages
    09 Nov 2023
  42. telltime
    Documentation
    Cli tool for interacting with Daypack-lib components
    Daypack developers
    0.0.3
    MIT
    Used by 0 other packages
    23 Oct 2020
  43. tensorboard
    Documentation
    No synopsis
    Laurent Mazare
    0.0.1
    Used by 0 other packages
    29 Oct 2018
  44. tensorflow

    No documentation

    TensorFlow bindings for OCaml
    Laurent Mazare
    0.0.11
    Used by 0 other packages
    12 Dec 2018
  45. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  46. term-tools
    Documentation
    Various tools for manipulating first-order terms
    symbolics rewriting
    Ilias Garnier
    0.0.2
    MIT
    Used by 0 other packages
    03 Nov 2024
  47. terminal
    Documentation
    Basic utilities for interacting with terminals
    Craig Ferguson <me@craigfe.io>
    0.5.0
    MIT
    Used by 1 other packages
    25 Sep 2025
  48. terminal_size
    Documentation
    Get the dimensions of the terminal
    Cryptosense <opensource@cryptosense.com> Etienne Millon <etienne@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 2 other packages
    26 Apr 2022
  49. terminus
    Documentation
    A generic client to interact with Rest API
    Étienne Marais <etienne@maiste.fr>
    0.1.0
    MIT
    Used by 2 other packages
    04 Aug 2022
  50. terminus-cohttp
    Documentation
    Terminus with the cohttp-lwt-unix request handler
    Étienne Marais <etienne@maiste.fr>
    0.1.0
    MIT
    Used by 0 other packages
    04 Aug 2022
... 76 77 78 ... 85