15 search results for "tag:"code""

  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. jsonm
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 27 other packages
    Last published 08 Mar 2023
  3. 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
  4. osh
    OCaml web API to generate SVG shields
    shield badge svg generator status build code coverage
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    Last published 07 Oct 2021
  5. otfm
    OpenType font decoder for OCaml
    OpenType ttf font decoder graphics org:erratique
    The otfm programmers
    0.4.0
    ISC
    Used by 1 other packages
    Last published 23 Mar 2020
  6. piece_rope
    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
    Last published 23 Mar 2023
  7. qrc
    QR code encoder for OCaml
    qr-code codec org:erratique
    The qrc programmers
    0.1.0
    ISC
    Used by 0 other packages
    Last published 23 Oct 2020
  8. uchar
    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 16 other packages
    Last published 16 Jul 2017
  9. uucd
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    15.0.0
    ISC
    Used by 4 other packages
    Last published 15 Sep 2022
  10. uucp
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    15.0.0
    ISC
    Used by 16 other packages
    Last published 15 Sep 2022
  11. uuidm
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.8
    ISC
    Used by 46 other packages
    Last published 09 Feb 2022
  12. 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
  13. 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
  14. uutf
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.3
    ISC
    Used by 67 other packages
    Last published 03 Feb 2022
  15. xmlm
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 42 other packages
    Last published 09 Feb 2022