91 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.2
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  4. CamlSurf-wayland
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. CamlSurf-x11
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. catt

    No 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
    Added to opam-repository
  8. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  9. chatoyant
    Documentation
    OCaml-first LLM SDK with Melange-generated JavaScript
    llm ai openai anthropic xai openrouter json-schema eio melange typesafe
    Anonyfox <max@anonyfox.com>
    0.12.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. conf-opencc1_1

    No 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
    Added to opam-repository
  13. contract
    Documentation
    Typed HTTP API contracts for OCaml
    http api contract openapi
    Thomas B.
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. coq-catt-plugin

    No 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
    Added to opam-repository
  15. doctor
    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
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. dolmen_type

    No 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
    Added to opam-repository
  18. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. gles3
    Documentation
    OpenGL ES 3.2 bindings
    graphics 3D openGL Gles
    Christophe Raffalli
    20260725
    MIT
    Used by 4 other packages
    Added to opam-repository
  23. glMLite

    No documentation

    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
  29. 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
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. llama-cpp-ocaml

    No documentation

    Ctypes bindings to llama.cpp
    experimental
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. object
    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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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 27 other packages
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. openbsd
    Documentation
    Bindings for some OpenBSD syscalls
    openbsd
    Sebastien Marie <semarie@kapouay.eu.org>
    1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. opencc

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. opencc0

    No documentation

    Bindings for OpenCC (v0) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. opencc1

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  50. 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
    Added to opam-repository
1 2