54 search results for "tag:"com""

Showing 1 - 50
  1. argsh
    Documentation
    Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    shell arg stdlib completion
    Gurvan Debaussart
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  2. bitgenerators
    Documentation
    PRNG bitgenerators for OCaml users
    scientific computing psuedo-random numbers
    Zolisa Bleki
    v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    02 May 2024
  3. bitwuzla

    No documentation

    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 0 other packages
    04 Apr 2026
  4. bitwuzla-bin

    No documentation

    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  5. bitwuzla-c

    No documentation

    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 1 other packages
    04 Apr 2026
  6. bos

    No documentation

    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 87 other packages
    23 Apr 2026
  7. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes entropy streaming zstd zlib gzip deflate random csprng sha1 sha2 compression hashing utf xxhash blake3 psa tls cryptography sha3 org:erratique
    The bytesrw programmers
    0.3.0
    ISC
    Used by 12 other packages
    05 Nov 2025
  8. chess_com_api
    Documentation
    Chess.com API client for chess games
    chess chess.com api http client games pgn
    ckaf borisnovoselov602@gmail.com
    1.0.1
    MIT
    Used by 0 other packages
    05 Sep 2025
  9. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.4.0
    ISC
    Used by 14 other packages
    03 Nov 2025
  10. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  11. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  12. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  13. compsort

    No documentation

    Reorder files in an archive to improve its compression
    compression
    Adrien Nader <adrien@notk.org>
    0.9.2
    GPL-3.0-or-later
    Used by 0 other packages
    11 Oct 2024
  14. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  15. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  16. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    07 Mar 2026
  17. cviode
    Documentation
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  18. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  19. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  20. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  21. fred
    Documentation
    API binding for Federal Reserve Economic Data
    api binding federal reserve ecomonic data
    Geoffrey Borough
    0.1.0
    MIT
    Used by 0 other packages
    17 Apr 2024
  22. getopt
    Documentation
    Parsing of command line arguments (similar to GNU GetOpt) for OCaml
    topics command-line
    Alain Frisch
    20230213
    MIT
    Used by 2 other packages
    16 Feb 2023
  23. inquirer_oc
    Documentation
    A collection of common interactive command line user interfaces
    answer answers ask base cli command command-line confirm enquirer generate generator hyper input inquire inquirer
    Ou Fumio
    1.0.15
    MIT
    Used by 0 other packages
    28 Apr 2023
  24. labrys

    No documentation

    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    09 Aug 2018
  25. leaves
    Documentation
    A collection of reusable components from Mint Tea
    tui terminal-ui apps components component library
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 0 other packages
    29 Dec 2023
  26. llopt
    Documentation
    Just a tiny LLVM-IR optimizer for testing stuff.
    llvm optimization test testing compiler
    Kate <kit.ty.kate@disroot.org>
    1.0.0
    MIT
    Used by 0 other packages
    12 Mar 2018
  27. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 4 other packages
    07 Sep 2023
  28. metal

    No documentation

    OCaml bindings to selected parts of Apple Metal, for general compute applications
    metal gpu compute apple
    Lukasz Stafiniak <lukstafi@gmail.com>
    0.1.1
    MIT
    Used by 1 other packages
    24 Jul 2025
  29. middleware
    Documentation
    Composable stacked functions, which can respond to inner calls
    middleware composition funciton
    Trent Small <sixstring982@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    24 Jan 2024
  30. monomorphic
    Documentation
    A small library used to shadow polymorphic operators (and functions) contained in the stdlib
    polymorphic compare equal equality monomorphic unsafe safe
    Kate <kit.ty.kate@disroot.org>
    2.1.0
    MIT
    Used by 1 other packages
    01 Nov 2022
  31. niru
    Documentation
    A similarity file comparator
    file-comparator
    EruEri <ndiayeyves@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  32. nx
    Documentation
    N-dimensional arrays for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 7 other packages
    17 Mar 2026
  33. odepack
    Documentation
    Binding to ODEPACK
    ODE scientific-computing
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.1
    LGPL-3.0-only
    Used by 1 other packages
    27 Sep 2020
  34. ojs-base
    Documentation
    Base library for developing OCaml web apps based on websockets and js_of_ocaml
    javascript web components
    Zoggy <zoggy@bat8.org>
    0.6.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  35. ojs_base
    Documentation
    Base library for developing OCaml web apps based on websockets and js_of_ocaml
    javascript web components
    Zoggy <zoggy@bat8.org>
    0.9.0
    GPL-3.0-only
    Used by 5 other packages
    23 Nov 2025
  36. orsetto
    Documentation
    A library of assorted structured data interchange languages
    org:conjury.org unicode data-interchange parser-combinators serialization json cbor uri url tai64
    james woodyatt <jhw@conjury.org>
    1.1.3
    BSD-2-Clause
    Used by 0 other packages
    05 Apr 2023
  37. owi
    Documentation
    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  38. parsite
    Documentation
    A micro library for simple parsing combinators
    string ocaml functional-programming parsing-combinators parsing-library
    faber-1
    0.1.2
    MIT
    Used by 0 other packages
    31 Jul 2024
  39. pgn_parser
    Documentation
    PGN (Portable Game Notation) parser for chess games
    chess pgn parser lichess chess.com api testing zobrist board-tracking unfinished-games
    ckaf borisnovoselov602@gmail.com
    1.0.1
    MIT
    Used by 0 other packages
    05 Sep 2025
  40. process
    Documentation
    Easy process control
    process subprocess command system
    David Sheets Jonathan Protzenko
    0.2.1
    ISC
    Used by 8 other packages
    01 Sep 2016
  41. qcaml
    Documentation
    OCaml library for quantum computing simulation
    quantum computing simulation qubits gates visualization bloch-sphere
    Elias GAUTHIER
    1.0.0
    Apache-2.0
    Used by 0 other packages
    06 Mar 2026
  42. quill
    Documentation
    Interactive REPL and markdown notebooks
    repl toplevel notebooks interactive-computing literate-programming
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  43. raven
    Documentation
    Modern scientific computing for OCaml
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 0 other packages
    17 Mar 2026
  44. serialport
    Documentation
    Serial communication library
    serial comport com unix
    Mikhail Lopatin <dx3mod@bk.ru>
    0.3
    MIT
    Used by 0 other packages
    20 Feb 2026
  45. shellwords
    Documentation
    POSIX shell command word parsing and quoting utilities
    shell shellwords posix parsing command-line argv quoting splitting string
    Daniel Fichtinger <daniel@ficd.sh>
    1.0.0
    BSD-3-CLAUSE
    Used by 0 other packages
    22 Dec 2025
  46. 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
    17 Mar 2026
  47. 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
  48. 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 77 other packages
    03 Feb 2021
  49. 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
    09 Apr 2025
  50. 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
1 2