685 search results for "tag:"C""

Showing 551 - 600
  1. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  2. sowilo
    Documentation
    Differentiable computer vision for OCaml
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  3. spelll
    Documentation
    Fuzzy string searching, using Levenshtein automaton
    spell levenshtein automaton typo edit distance
    simon.cruanes.2007@m4x.org
    0.4
    BSD-2-Clause
    Used by 4 other packages
    Added to opam-repository
  4. spices
    Documentation
    Declarative styles for TUI applications
    styling styles declarative framework tui terminal-ui apps
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 4 other packages
    Added to opam-repository
  5. spurs
    Documentation
    A lightweight native sparse matrix library
    sparse matrices
    Nikhil Kamath <nikhil.k123234@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.4.2
    MIT
    Used by 24 other packages
    Added to opam-repository
  7. starpath
    Documentation
    A position-aware parser combinator library with readable errors
    parser parser-combinators
    Matthew Toohey <contact@mtoohey.com>
    0.1.5
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. stitch
    Documentation
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. store
    Documentation
    Snapshottable data structures
    data-structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  13. stramon-lib
    Documentation
    Process behavior monitoring library based on strace
    strace process monitoring
    Darren Ldl
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. subprocess
    Documentation
    Nice interfaces handling I/O with Unix commands
    unix processes io commands
    Aaron Christianson
    0.2.1
    MPL-2.0
    Used by 0 other packages
    Added to opam-repository
  15. sun
    Documentation
    Take screenshot under Wayland
    sun screenshot wayland grim slurp
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  16. sundialsml

    No documentation

    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  25. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  26. 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.5.0
    ISC
    Used by 8 other packages
    Added to opam-repository
  27. 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.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  28. 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.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  29. 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.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  30. tdigest
    Documentation
    OCaml implementation of the T-Digest algorithm
    data-structures algorithms
    Simon Grondin Will Welch
    2.2.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. tdk
    Documentation
    The Decision Kit is a collection of data structures that are useful
    data-structures
    Spiros Eliopoulos <seliopou@gmail.com>
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  33. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  34. term-tools
    Documentation
    Various tools for manipulating first-order terms
    symbolics rewriting
    Ilias Garnier
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  35. termaid
    Documentation
    Render Mermaid diagrams as Unicode box-drawing art
    mermaid diagram terminal tui box-drawing flowchart unicode
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  36. testcontainers
    Documentation
    Docker containers for OCaml integration tests
    docker testing integration-testing containers testcontainers
    Sachin Beniwal <sachinbeniwal0101@gmail.com>
    0.1.0
    Apache-2.0
    Used by 10 other packages
    Added to opam-repository
  37. tgls
    Documentation
    Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
    bindings opengl opengl-es graphics org:erratique
    The tgls programmers
    0.9.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  38. thread-local-storage
    Documentation
    Efficient thread local storage for OCaml
    topics threads tls
    Vesa Karvonen
    0.2
    MIT
    Used by 6 other packages
    Added to opam-repository
  39. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 0 other packages
    Added to opam-repository
  41. toffee
    Documentation
    CSS layout engine for OCaml (Flexbox, Grid, Block)
    css layout flexbox grid css-grid taffy layout-engine
    Thibaut Mattio
    0.1.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  42. topkg
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 108 other packages
    Added to opam-repository
  43. topkg-care
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  44. trace
    Documentation
    A lightweight stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.12
    MIT
    Used by 16 other packages
    Added to opam-repository
  45. trace-fuchsia
    Documentation
    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    Added to opam-repository
  46. trace-runtime-events
    Documentation
    A simple collector relying on runtime-events for OCaml 5. Some assembly required
    trace tracing trace runtime-events
    Simon Cruanes
    0.12
    MIT
    Used by 0 other packages
    Added to opam-repository
  47. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.12
    MIT
    Used by 9 other packages
    Added to opam-repository
  48. trail

    No documentation

    A minimalistic, composable web framework for building HTTP/WebSocket servers
    composable web framework http websockets ws riot multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  49. trampoline
    Documentation
    A trampoline library enabling deep recursions that don't fit into stack memory
    topics trampoline
    Armin Heller <support@arminheller.de>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  50. transept
    Documentation
    Generalized parser combinator library
    library parser-combinator
    Didier Plaindoux <d.plaindoux@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
... 11 12 13 14