31 search results for "tag:"code""

Showing 1 - 31
  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. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.4.0
    ISC
    Used by 15 other packages
    Added to opam-repository
  3. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    Added to opam-repository
  4. emoji
    Documentation
    Use emojis by name
    emoji unicode
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    3.0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  5. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  6. 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
  7. jsonm
    Documentation
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 29 other packages
    Added to opam-repository
  8. jsont
    Documentation
    Declarative JSON data manipulation for OCaml
    json codec org:erratique
    The jsont programmers
    0.2.0
    ISC
    Used by 12 other packages
    Added to opam-repository
  9. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.3.3
    MIT
    Used by 7 other packages
    Added to opam-repository
  10. matrix
    Documentation
    Fast, modern terminal toolkit for OCaml
    terminal ansi input grid rendering unicode pty vte
    Thibaut Mattio
    0.1.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  11. ocaml-protoc
    Documentation
    Pure OCaml compiler for .proto files
    protoc protobuf codegen
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 5 other packages
    Added to opam-repository
  12. orsetto
    Documentation
    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.3
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  13. osh
    Documentation
    OCaml web API to generate SVG shields
    shield badge svg generator status build code coverage
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  14. otfm
    Documentation
    OpenType font decoder for OCaml
    OpenType ttf font decoder graphics org:erratique
    The otfm programmers
    0.4.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  15. pbrt
    Documentation
    Runtime library for Protobuf tooling
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 8 other packages
    Added to opam-repository
  16. pbrt_services
    Documentation
    Runtime library for ocaml-protoc to support RPC services
    protobuf encode decode services rpc
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  17. pbrt_yojson
    Documentation
    Runtime library for ocaml-protoc to support JSON encoding/decoding
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 4 other packages
    Added to opam-repository
  18. piece_rope
    Documentation
    A data structure for efficiently manipulating strings
    text piece table piece tree rope unicode
    Humza Shahid
    0.9.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  19. ppx_deriving_decoders
    Documentation
    Deriving Decoders using PPX
    decoders decoding json ppx
    Ben Bellick <benbellick@pm.me>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  20. qrc
    Documentation
    QR code encoder for OCaml
    qr-code codec org:erratique
    The qrc programmers
    0.2.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  21. sexps-rewriter
    Documentation
    A specialized file-rewriter for applying rewrites to sexp files
    codemods refactoring sexp-files
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  22. termaid
    Documentation
    Render Mermaid diagrams as Unicode box-drawing art
    mermaid diagram terminal tui box-drawing flowchart unicode
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  23. uchar
    Documentation
    Compatibility library for OCaml's Uchar module
    text character unicode compatibility org:ocaml.org
    Daniel Bünzli
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Added to opam-repository
  24. uucd
    Documentation
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    17.0.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  25. uucp
    Documentation
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    17.0.0
    ISC
    Used by 33 other packages
    Added to opam-repository
  26. uuidm
    Documentation
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.10
    ISC
    Used by 39 other packages
    Added to opam-repository
  27. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    17.0.0
    ISC
    Used by 14 other packages
    Added to opam-repository
  28. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    17.0.0
    ISC
    Used by 15 other packages
    Added to opam-repository
  29. uutf
    Documentation
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.4
    ISC
    Used by 94 other packages
    Added to opam-repository
  30. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 38 other packages
    Added to opam-repository
  31. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository