111 search results for "tag:"io""

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. arrakis
    Documentation
    A RISC-V simulator
    RISC-V simulator emulation RV32IM education debugger debug
    Valeran Maytié Gurvan Debaussart
    1.0.0
    CeCILL-2.1
    Used by 0 other packages
    05 Oct 2023
  3. atacama
    Documentation
    Modern, pure OCaml socket pool for Riot
    socket socket pool tcp riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.5
    MIT
    Used by 2 other packages
    16 Apr 2024
  4. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  5. broken
    Documentation
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 7 other packages
    07 Sep 2015
  6. bsbnative

    No documentation

    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    ocaml bucklescript stdlib functional programming
    Hongbo Zhang <>
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  7. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes streaming zstd zlib gzip deflate sha1 sha2 compression hashing utf xxhash blake3 org:erratique
    The bytesrw programmers
    0.1.0
    ISC
    Used by 0 other packages
    29 Nov 2024
  8. camlrack
    Documentation
    S-Expression parsing for OCaml
    S-Expressions parsing
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 1 other packages
    12 Feb 2022
  9. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    09 Mar 2019
  10. cconv-ppx
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    09 Mar 2019
  11. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  12. 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
  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. conf-opencc0

    No documentation

    Virtual package relying on opencc v0 (libopencc.so.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  15. conf-opencc1

    No documentation

    Virtual package relying on opencc v1 (libopencc.so.2) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  16. conf-opencc1_1
    Documentation
    Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Oct 2021
  17. 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
  18. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    10 Oct 2015
  19. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.15
    BSD-2-Clause
    Used by 7 other packages
    19 Nov 2024
  20. 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
  21. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    2.2.0+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2024
  22. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 0 other packages
    18 Oct 2024
  23. 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
  24. 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
  25. 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
  26. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0
    LGPL-2.1-only
    Used by 4 other packages
    16 Dec 2024
  27. frama-c-base

    No documentation

    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  28. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  29. frama-c-metacsl

    No documentation

    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.8
    LGPL-2.1-only
    Used by 0 other packages
    16 Dec 2024
  30. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.17
    LGPL-2.1-only
    Used by 0 other packages
    16 Dec 2024
  31. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
  32. gasoline
    Documentation
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    04 Jul 2016
  33. genet

    No documentation

    Genet is tool to build a continuous integration platform.
    continuous integration test execution chains rdf sparql
    Maxence Guesdon
    0.5
    GPL-3.0-only
    Used by 0 other packages
    21 Nov 2013
  34. gluon
    Documentation
    A minimal, portable, and fast API on top of the operating-system's evented I/O API
    async io tcp udp multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 1 other packages
    12 Apr 2024
  35. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.5.0
    MIT
    Used by 0 other packages
    28 Nov 2024
  36. grpc
    Documentation
    A modular gRPC library
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 4 other packages
    25 Oct 2023
  37. grpc-async
    Documentation
    An Async implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  38. grpc-bench
    Documentation
    Benchmarking package for gRPC
    network rpc serialisation benchmark
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  39. grpc-examples
    Documentation
    Various grpc examples
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  40. grpc-lwt
    Documentation
    An Lwt implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  41. hooke
    Documentation
    A spring-physics library for OCaml
    physics springs animation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    14 Dec 2023
  42. hsluv
    Documentation
    HSLuv human-friendly color space implementation in OCaml
    color hsluv hpluv rgb xyz lch luv color space color conversion perceptually uniform colors
    Sabine Schmaltz
    0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  43. interface-prime
    Documentation
    Interfaces for common design patterns
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 2 other packages
    15 Jan 2019
  44. interface-prime-lwt
    Documentation
    Interfaces for common design patterns (LWT implementation)
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    15 Jan 2019
  45. iomux
    Documentation
    IO Multiplexer bindings
    io multiplexing poll ppoll epoll kevent kqueue
    Christiano Haesbaert
    0.3
    ISC
    Used by 3 other packages
    13 Mar 2023
  46. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.3
    MIT
    Used by 2 other packages
    16 Aug 2024
  47. iostream-camlzip
    Documentation
    Stream (de)compression using deflate
    topics io channels streams zip deflate
    Simon Cruanes
    0.3
    MIT
    Used by 1 other packages
    16 Aug 2024
  48. ip2location

    No documentation

    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.1.1
    MIT
    Used by 0 other packages
    16 Dec 2024
  49. ip2locationio

    No documentation

    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.0.1
    MIT
    Used by 0 other packages
    19 Dec 2024
  50. kdl

    No documentation

    OCaml implementation of the KDL Document Language
    data-serialization-format configuration-format org:eilvelia
    eilvelia <hi@eilvelia.cat>
    0.2.0
    MPL-2.0
    Used by 0 other packages
    31 Dec 2024
1 2 3