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
    Added to opam-repository
  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
    Added to opam-repository
  3. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  5. bitwuzla-c
    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
    Added to opam-repository
  6. bos
    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 92 other packages
    Added to opam-repository
  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 websocket cryptography sha3 org:erratique
    The bytesrw programmers
    0.4.0
    ISC
    Used by 17 other packages
    Added to opam-repository
  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
    Added to opam-repository
  9. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.4.0
    ISC
    Used by 15 other packages
    Added to opam-repository
  10. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.11
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  12. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  25. llopt

    No 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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  31. nx
    Documentation
    N-dimensional arrays for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 9 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  39. process
    Documentation
    Easy process control
    process subprocess command system
    David Sheets Jonathan Protzenko
    0.2.1
    ISC
    Used by 8 other packages
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. serialport
    Documentation
    Serial communication library
    serial comport com unix
    Mikhail Lopatin <dx3mod@bk.ru>
    0.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
  46. 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
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  50. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
1 2