70 search results for "tag:"io""

  1. binsec
    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 Guillaume Girol Josselin Feist Lesly-Ann Daniel Manh-Dung Nguyen Mathéo Vergnolle Mathilde Ollivier Matthieu Lemerre Olivier Nicole Richard Bonichon Robin David Sébastien Bardin Soline Ducousso Ta Thanh Dinh Yaëlle Vinçont
    0.7.1
    LGPL-2.1-or-later
    Used by 0 other packages
    Last published 15 Feb 2023
  2. broken
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 7 other packages
    Last published 07 Sep 2015
  3. bsbnative
    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
    Last published 10 Oct 2017
  4. camlrack
    S-Expression parsing for OCaml
    S-Expressions parsing
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 1 other packages
    Last published 12 Feb 2022
  5. cconv
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    Last published 09 Mar 2019
  6. cconv-ppx
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    Last published 09 Mar 2019
  7. conf-opencc0
    Virtual package relying on opencc v0 (libopencc.so.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Dec 2018
  8. conf-opencc1
    Virtual package relying on opencc v1 (libopencc.so.2) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Dec 2018
  9. conf-opencc1_1
    Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Oct 2021
  10. configuration
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    Last published 10 Oct 2015
  11. containers-data
    A set of advanced datatypes for containers
    containers RAL functional vector okasaki
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 5 other packages
    Last published 09 Feb 2023
  12. coq-of-ocaml
    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
    Last published 06 Jan 2023
  13. datalog
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Mar 2019
  14. dolmen_bin
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  15. dolmen_loop
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 5 other packages
    Last published 13 Feb 2023
  16. dolmen_lsp
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  17. frama-c
    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 Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Nicolas Stouls Kostyantyn Vorobyov Boris Yakobowski
    26.1
    LGPL-2.1-only
    Used by 3 other packages
    Last published 16 Feb 2023
  18. frama-c-base
    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 David Bühler Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Jean-Christophe Filliâtre Philippe Herrmann Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre David Maison Claude Marché André Maroneze Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Virgile Prevosto Armand Puccetti Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    Last published 30 Oct 2018
  19. frama-c-e-acsl
    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
    Last published 28 Jul 2015
  20. frama-c-metacsl
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    Last published 09 Dec 2022
  21. funfields
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    Last published 22 Jul 2020
  22. gasoline
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    Last published 04 Jul 2016
  23. genet
    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
    Last published 21 Jan 2014
  24. interface-prime
    Interfaces for common design patterns
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 2 other packages
    Last published 15 Jan 2019
  25. interface-prime-lwt
    Interfaces for common design patterns (LWT implementation)
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    Last published 15 Jan 2019
  26. iomux
    IO Multiplexer bindings
    io multiplexing poll ppoll epoll kevent kqueue
    Christiano Haesbaert
    0.3
    ISC
    Used by 0 other packages
    Last published 13 Mar 2023
  27. ip2location
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.0.0
    MIT
    Used by 0 other packages
    Last published 20 Oct 2022
  28. kdl
    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
    Last published 03 Oct 2022
  29. lablgtk-extras
    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
    Last published 10 Apr 2017
  30. lbfgs
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.3
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 13 Sep 2019
  31. libzipperposition
    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
    Last published 05 Sep 2021
  32. llopt
    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
    Last published 12 Mar 2018
  33. logtk
    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
    Last published 05 Sep 2021
  34. lz4
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.2.0
    BSD-3-clause
    Used by 3 other packages
    Last published 14 Jul 2022
  35. maki
    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    Last published 26 Feb 2017
  36. mesh
    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
    Last published 19 Mar 2019
  37. mesh-easymesh
    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
    Last published 19 Mar 2019
  38. msgpck
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 5 other packages
    Last published 08 Jun 2021
  39. ocamlsdl2
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    restrictionless Zlib
    Used by 2 other packages
    Last published 31 Dec 2020
  40. ocf
    OCaml library to read and write configuration files in JSON syntax
    configuration options json
    Zoggy <zoggy@bat8.org>
    0.8.0
    GPL-3.0-only
    Used by 7 other packages
    Last published 13 Dec 2021
  41. olinq
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    Last published 09 Mar 2019
  42. opencc
    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    Last published 06 Dec 2018
  43. opencc0
    Bindings for OpenCC (v0) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.2
    MIT
    Used by 0 other packages
    Last published 06 Dec 2018
  44. opencc1
    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.1
    MIT
    Used by 1 other packages
    Last published 06 Dec 2018
  45. opencc1_1
    Bindings for OpenCC (v1.1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    0.1.0
    MIT
    Used by 0 other packages
    Last published 06 Oct 2021
  46. opentelemetry
    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team and contributors
    0.4
    MIT
    Used by 4 other packages
    Last published 07 Mar 2023
  47. opentelemetry-lwt
    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team and contributors
    0.4
    MIT
    Used by 1 other packages
    Last published 07 Mar 2023
  48. optimization1d
    Find extrema of 1D functions
    optimization
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.6.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 19 Mar 2019
  49. orsetto
    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.2
    BSD-2-Clause
    Used by 0 other packages
    Last published 21 Sep 2022
  50. phylogenetics
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    Last published 19 Mar 2022
  51. ppx_camlrack
    PPX for matching S-Expressions
    S-Expressions parsing matching ppx extension
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 0 other packages
    Last published 12 Feb 2022
  52. prc
    Utilities for precision-recall curves
    precision recall statistics machine-learning
    Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    Last published 03 Nov 2021
  53. scfg
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.2
    ISC
    Used by 3 other packages
    Last published 23 Jan 2023
  54. scgi
    Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
    scgi web application
    Mike Wells <https://github.com/mwells> Martin Jambon <https://github.com/mjambon> Bikal Lem <https://github.com/bikallem>
    1.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 08 Apr 2019
  55. sfml
    Bindings to the SFML multimedia library
    bindings graphics audio multimedia gamedev opengl network
    Florent Monnier Sylvain Boilard
    0.09.2
    zlib-acknowledgement
    Used by 0 other packages
    Last published 06 Aug 2022
  56. stog-rdf
    Plugin for Stog. Define and query RDF graphs in rewrite rules.
    publication rdf sparql semantic web
    Maxence Guesdon
    0.16.1
    GPL-3.0-only
    Used by 0 other packages
    Last published 22 Mar 2016
  57. stog-writing
    Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    publication web blog bibliography
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 18 May 2021
  58. sundialsml
    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    Last published 21 Mar 2022
  59. testrunner
    Simple framework to run tests and create test reports for OCaml libraries.
    test continuous integration
    Maxence Guesdon
    0.1.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 10 Apr 2017
  60. tsdl
    Thin bindings to SDL for OCaml
    audio bindings graphics media opengl input hci org:erratique
    The tsdl programmers
    1.0.0
    ISC
    Used by 9 other packages
    Last published 16 Mar 2023
  61. tsdl-mixer
    SDL2_Mixer bindings to go with Tsdl
    tsdl SDL audio bindings
    Julian Squires <julian@cipht.net>
    0.5
    BSD-3-Clause
    Used by 0 other packages
    Last published 17 Jan 2023
  62. uunf
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    15.0.0
    ISC
    Used by 10 other packages
    Last published 15 Sep 2022
  63. uuseg
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    15.0.0
    ISC
    Used by 8 other packages
    Last published 15 Sep 2022
  64. why
    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    Last published 03 Jul 2018
  65. why3
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.6.0
    LGPL-2.1-only
    Used by 6 other packages
    Last published 08 Mar 2023
  66. why3-base
    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    Last published 12 Jan 2018
  67. why3-coq
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023
  68. why3-ide
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023
  69. ws
    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    Last published 18 Jan 2019
  70. zipperposition
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 05 Sep 2021