87 search results for "tag:"io""

Showing 1 - 50
  1. 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
  2. atacama
    Documentation
    Modern, pure OCaml socket pool for Riot
    topics socket socket pool riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 0 other packages
    24 Nov 2023
  3. 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.8.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Nov 2023
  4. 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
  5. bsbnative
    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
  6. 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
  7. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    09 Mar 2019
  8. 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
  9. conf-opencc0
    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
  10. conf-opencc1
    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
  11. 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
  12. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    10 Oct 2015
  13. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.13
    BSD-2-Clause
    Used by 5 other packages
    06 Dec 2023
  14. 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
  15. 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 Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.0+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    07 Nov 2023
  16. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  17. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  18. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  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.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  20. frama-c
    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 Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin et al.
    28.0
    LGPL-2.1-only
    Used by 2 other packages
    06 Dec 2023
  21. frama-c-base
    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
  22. 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
  23. frama-c-metacsl
    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.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023
  24. frama-clang
    Documentation
    Frama-C plug-in based on Clang for parsing C++ files
    Frama-C formal specification C++ plugins ACSL ACSL++
    David Cok Virgile Prevosto Franck Védrine
    0.0.14
    LGPL-2.1-only
    Used by 0 other packages
    06 Sep 2023
  25. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
  26. gasoline
    Documentation
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    04 Jul 2016
  27. genet
    Documentation
    Genet is tool to build a continuous integration platform.
    continuous integration test execution chains rdf sparql
    Maxence Guesdon
    0.6
    GPL-3.0-only
    Used by 0 other packages
    21 Jan 2014
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. iomux
    Documentation
    IO Multiplexer bindings
    io multiplexing poll ppoll epoll kevent kqueue
    Christiano Haesbaert
    0.3
    ISC
    Used by 2 other packages
    13 Mar 2023
  36. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2023
  37. ip2location
    Documentation
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.1.0
    MIT
    Used by 0 other packages
    28 Apr 2023
  38. ip2locationio
    Documentation
    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.0.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  39. kdl
    Documentation
    An implementation of the KDL document laguage
    configuration-language serialization-language
    github.com/Bannerets <comonoid@protonmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    03 Oct 2022
  40. lablgtk-extras
    Documentation
    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
    gtk utils configuration
    Maxence Guesdon
    1.6
    LGPL-2.0-or-later
    Used by 4 other packages
    10 Apr 2017
  41. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    18 Oct 2023
  42. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  43. 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
  44. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  45. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 3 other packages
    07 Sep 2023
  46. maki
    Documentation
    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    26 Feb 2017
  47. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  48. mesh
    Documentation
    Triangular mesh generation and manipulation
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Mar 2019
  49. mesh-easymesh
    Documentation
    Triangular mesh generation with EasyMesh
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  50. msgpck
    Documentation
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 5 other packages
    08 Jun 2021
1 2