53 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
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  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
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  6. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 93 other packages
    06 Oct 2021
  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 5 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 12 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
    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. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. nx
    Documentation
    High-performance N-dimensional array library for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 7 other packages
    26 Nov 2025
  32. 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
  33. 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
  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.9.0
    GPL-3.0-only
    Used by 5 other packages
    23 Nov 2025
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. qcaml
    Documentation
    Experimental OCaml library for quantum computing simulation
    quantum computing simulation qubits gates visualization bloch-sphere
    Elias GAUTHIER
    0.1.4
    Apache-2.0
    Used by 0 other packages
    11 Nov 2025
  41. quill
    Documentation
    Interactive notebook for OCaml data science
    notebook interactive-computing data-science literate-programming
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 1 other packages
    26 Nov 2025
  42. raven
    Documentation
    Meta package for the Raven ML ecosystem
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 0 other packages
    26 Nov 2025
  43. rune
    Documentation
    Automatic differentiation and JIT compilation for OCaml
    automatic-differentiation jit-compilation machine-learning deep-learning optimization
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 5 other packages
    26 Nov 2025
  44. serialport

    No documentation

    Serial communication library
    serial comport com unix
    Mikhail Lopatin <dx3mod@bk.ru>
    0.1
    MIT
    Used by 0 other packages
    13 Dec 2025
  45. sowilo
    Documentation
    Computer vision extensions for Rune
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 2 other packages
    26 Nov 2025
  46. 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
  47. 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
  48. 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
  49. 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
  50. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    19 Aug 2025
1 2