4496 search results for ""

Showing 3901 - 3950
  1. syguslib-utils
    Documentation
    SyGuS Lib parser and utils
    Victor Nicolet
    0.1
    MIT
    Used by 0 other packages
    15 Dec 2021
  2. 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
  3. 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
  4. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.6.1
    MIT
    Used by 2 other packages
    20 May 2019
  5. synopsis

    No documentation

    Examines the parsetree
    umd-cmsc330 ptrichr
    1.1
    MIT
    Used by 0 other packages
    10 Mar 2025
  6. sys-socket

    No documentation

    Ctypes bindings to system-specific low-level socket structure and data-types
    Romain Beauxis <toots@rastageeks.org>
    1.0.0
    MIT
    Used by 2 other packages
    27 Jul 2019
  7. 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
  8. 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
  9. syslog-message
    Documentation
    Syslog message parser
    Jochen Bartl <jochenbartl@mailbox.org>
    1.2.0
    BSD-2-Clause
    Used by 2 other packages
    04 Jun 2023
  10. syslog-rfc5424
    Documentation
    Syslog Protocol (RFC5424) parser and pretty-printer
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    Used by 0 other packages
    04 Feb 2020
  11. system-mingw

    No documentation

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

    No documentation

    Build OCaml for Microsoft Visual Studio
    David Allsopp
    1
    CC0-1.0+
    Used by 5 other packages
    05 Jun 2024
  13. systemverilog
    Documentation
    SystemVerilog for OCaml
    Xavier R. Guérin
    0.0.2
    ISC
    Used by 0 other packages
    15 Jun 2020
  14. TCSLib

    No documentation

    A multi-purpose library for OCaml
    Oliver Friedmann Martin Lange
    0.5
    BSD-3-clause
    Used by 0 other packages
    18 May 2025
  15. 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
  16. 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
  17. 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
  18. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  19. 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
  20. 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 0 other packages
    23 Jan 2023
  21. 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
  22. 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 9 other packages
    06 Mar 2025
  23. 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
  24. 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
  25. 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
  26. tcalc
    Documentation
    Minimal desktop calculator for timestamps
    Christian Lindig <lindig@gmail.com>
    1.1.1
    Unlicense
    Used by 0 other packages
    25 Jan 2025
  27. tcpip

    No 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 39 other packages
    17 Apr 2025
  28. 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
  29. tdigest

    No documentation

    OCaml implementation of the T-Digest algorithm
    Simon Grondin Will Welch
    2.2.1
    MIT
    Used by 0 other packages
    21 May 2025
  30. 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
  31. telegraml
    Documentation
    Telegram Bot API for OCaml
    nv-vn <nv@cock.li>
    2.2.0
    MIT
    Used by 0 other packages
    20 Dec 2017
  32. 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
  33. telltime
    Documentation
    Cli tool for interacting with Daypack-lib components
    Daypack developers
    0.0.3
    MIT
    Used by 0 other packages
    23 Oct 2020
  34. tensorboard
    Documentation
    No synopsis
    Laurent Mazare
    0.0.1
    Used by 0 other packages
    29 Oct 2018
  35. tensorflow
    Documentation
    TensorFlow bindings for OCaml
    Laurent Mazare
    0.0.11
    Used by 0 other packages
    12 Dec 2018
  36. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  37. 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
  38. termbox

    No documentation

    Bindings for the termbox library, minimalistic API for creating text-based interfaces
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    15 Feb 2014
  39. terminal
    Documentation
    Basic utilities for interacting with terminals
    Craig Ferguson <me@craigfe.io>
    0.4.0
    MIT
    Used by 1 other packages
    22 May 2024
  40. 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
  41. 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
  42. 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
  43. terminus-hlc
    Documentation
    Terminus with the http-lwt-client request handler
    Étienne Marais <etienne@maiste.fr>
    0.1.0
    MIT
    Used by 0 other packages
    04 Aug 2022
  44. terml
    Documentation
    Terml is a pure-ocaml library for manipulating terminal output. Making possible to write text-based interfaces with ease
    tui terminal terminal-tui
    Willians Faria <dev.willians.faria@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    02 Apr 2024
  45. testo
    Documentation
    Test framework for OCaml
    Martin Jambon Gabriel Jaldon
    0.1.0
    ISC
    Used by 0 other packages
    12 Nov 2024
  46. testo-diff
    Documentation
    Pure-OCaml diff implementation
    Martin Jambon Gabriel Jaldon
    0.1.0
    ISC
    Used by 1 other packages
    12 Nov 2024
  47. testo-lwt
    Documentation
    Test framework for OCaml, Lwt variant
    Martin Jambon Gabriel Jaldon
    0.1.0
    ISC
    Used by 0 other packages
    12 Nov 2024
  48. testo-util
    Documentation
    Modules shared by testo, testo-lwt, etc
    Martin Jambon Gabriel Jaldon
    0.1.0
    ISC
    Used by 2 other packages
    12 Nov 2024
  49. testu01
    Documentation
    OCaml bindings for TestU01 1.2.3
    Niols “Niols” Jeannerod <niols@niols.fr> Martin Pépin <kerl@wkerl.me>
    1.2.3-0.2
    GPL-3.0-or-later
    Used by 4 other packages
    09 Jun 2021
  50. text
    Documentation
    Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way
    Jérémie Dimino
    0.8.1
    Used by 1 other packages
    08 May 2020
... 78 79 80 ... 90