85 search results for "tag:"pe""

Showing 1 - 50
  1. 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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.1
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Apr 2026
  2. brot
    Documentation
    Tokenization for OCaml
    tokenization bpe wordpiece subword-tokenization language-models
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  3. bytestring
    Documentation
    Efficient, immutable, pattern-matchable, UTF friendly byte strings
    bytes strings pattern matching binary strings rope transient iterators utf8
    Leandro Ostera <leandro@abstractmachines.dev> Felipe Oliveira Carvalho <felipekde@gmail.com>
    0.0.8
    MIT
    Used by 3 other packages
    05 Mar 2024
  4. castore
    Documentation
    A portable CA Store with a global .crt and .pem files
    https tls cert crt pem ca ca store
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    27 Dec 2023
  5. catt
    Documentation
    An infinity-categorical coherence typechecker
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 1 other packages
    15 Oct 2024
  6. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    13 Feb 2023
  7. 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
  8. 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
  9. 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
  10. contract

    No documentation

    Typed HTTP API contracts for OCaml
    http api contract openapi
    Thomas B.
    0.2.0
    MIT
    Used by 0 other packages
    11 Jun 2026
  11. coq-catt-plugin
    Documentation
    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    15 Oct 2024
  12. doctor

    No documentation

    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    12 Jun 2026
  13. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  14. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  15. 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.
    32.1
    LGPL-2.1-only
    Used by 4 other packages
    12 Jun 2026
  16. 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.10
    LGPL-2.1-only
    Used by 0 other packages
    30 Jan 2026
  17. 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.19
    LGPL-2.1-only
    Used by 0 other packages
    19 Feb 2026
  18. gl-legacy
    Documentation
    Legacy OpenGL immediate-mode bindings for OCaml
    plot 2D 3D graphics openGL
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.1.0
    ISC
    Used by 1 other packages
    04 Oct 2025
  19. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  20. gradescope_submit
    Documentation
    A small script to submit to Gradescope via GitHub
    topics git gradescope https api
    Nikhil Mittu
    2.0.2
    MIT
    Used by 0 other packages
    04 Jun 2023
  21. grib

    No documentation

    Bindings for the ECMWF GRIB API
    clib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib
    Hezekiah M. Carty
    0.11.0
    MIT
    Used by 0 other packages
    06 Sep 2015
  22. 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 1 other packages
    23 Dec 2023
  23. imguiml

    No documentation

    ImGUI bindings to OCaml
    graphics imgui ctypes bindings
    Emilien Lemaire <emilien.lem@icloud.com>
    v1.90.6
    MIT
    Used by 0 other packages
    10 Jul 2024
  24. 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
  25. ktdeque

    No documentation

    Kaplan-Tarjan persistent real-time deque, with O(1) catenation
    data-structures deque persistent rocq kaplan-tarjan
    Yann Régis-Gianas
    0.2.0
    MIT
    Used by 0 other packages
    18 Jun 2026
  26. leaflet
    Documentation
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> pena <pena@kumikode.org>
    0.2
    BSD-2-Clause
    Used by 0 other packages
    06 Feb 2025
  27. 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
  28. llama-cpp-ocaml
    Documentation
    Ctypes bindings to llama.cpp
    experimental
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    18 Sep 2023
  29. lwt-pipe
    Documentation
    An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    lwt pipe stream blocking
    Simon Cruanes
    0.1
    Used by 0 other packages
    30 Jan 2020
  30. OSCADml
    Documentation
    OCaml DSL for 3D solid modelling in OpenSCAD
    OCADml CAD OpenSCAD CSG
    Geoff deRosenroll<geoffderosenroll@gmail.com Masaki Nakano<namachan10777@gmail.com>
    0.2.3
    GPL-2.0-or-later
    Used by 1 other packages
    03 May 2023
  31. object

    No documentation

    A unified interface for reading and writing object file formats
    elf object mach-o pe coff
    Tim McGilchrist <timmcgil@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    04 Jun 2026
  32. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 40 other packages
    15 Apr 2025
  33. ocamlgraph_gtk
    Documentation
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 1 other packages
    15 Apr 2025
  34. ocamlsdl2
    Documentation
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    Zlib OR any-OSI
    Used by 2 other packages
    31 Dec 2020
  35. ocp-browser
    Documentation
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.4.1
    GPL-3.0-only
    Used by 0 other packages
    09 Feb 2026
  36. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.9.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 25 other packages
    02 Oct 2025
  37. ocp-indent-nlfork
    Documentation
    `ocp-indent` library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.5
    LGPL-3.0-or-later
    Used by 2 other packages
    22 Jan 2025
  38. ocp-index
    Documentation
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne Kate Deplaix
    1.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 3 other packages
    09 Feb 2026
  39. ocp-reloc
    Documentation
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Aug 2018
  40. oglsl
    Documentation
    Embedding GLSL in OCaml
    tagless-final opengl glsl edsl
    Kinten Le <kinten108101@protonmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    21 Oct 2025
  41. openbsd
    Documentation
    Bindings for some OpenBSD syscalls
    openbsd
    Sebastien Marie <semarie@kapouay.eu.org>
    1.0
    ISC
    Used by 0 other packages
    11 Oct 2024
  42. opencage
    Documentation
    OCaml bindings for the OpenCage Geocoding API
    geocoding opencage api bindings lwt
    Rome Stone <fractalattice@gmail.com>
    1.0.5
    MIT
    Used by 0 other packages
    27 Aug 2025
  43. opencc

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    06 Dec 2018
  44. opencc0

    No documentation

    Bindings for OpenCC (v0) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.2
    MIT
    Used by 0 other packages
    06 Dec 2018
  45. opencc1

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.1
    MIT
    Used by 1 other packages
    06 Dec 2018
  46. opencc1_1
    Documentation
    Bindings for OpenCC (v1.1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2021
  47. openrouter_api

    No documentation

    OCaml client for the OpenRouter API
    openrouter llm ai api-client async
    Masayuki Takeda <mtakeda@oeconomia.jp>
    0.1.0
    MIT
    Used by 0 other packages
    25 May 2026
  48. opentelemetry

    No documentation

    Core library for instrumentation and serialization for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    ocaml-tracing ELLIOTTCABLE <opam@ell.io> the imandra team
    0.91.1
    MIT
    Used by 9 other packages
    27 May 2026
  49. opentelemetry-client

    No documentation

    Client SDK for https://opentelemetry.io
    tracing opentelemetry sdk
    ocaml-tracing ELLIOTTCABLE <opam@ell.io> the imandra team
    0.91.1
    MIT
    Used by 4 other packages
    27 May 2026
  50. opentelemetry-lwt

    No documentation

    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    ocaml-tracing ELLIOTTCABLE <opam@ell.io> the imandra team
    0.91.1
    MIT
    Used by 3 other packages
    27 May 2026
1 2