14 Search Results
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.6.3
LGPL-2.1-or-later
Used by 0 other packages
jsonm
Non-blocking streaming JSON codec for OCaml
json codec org:erratique
Daniel Bünzli
1.0.1
ISC
Used by 27 other packages
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
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
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
qrc
QR code encoder for OCaml
qr-code codec org:erratique
The qrc programmers
0.1.0
ISC
Used by 0 other packages
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
uucd
Unicode character database decoder for OCaml
unicode database decoder org:erratique
The uucd programmers
15.0.0
ISC
Used by 4 other packages
uucp
Unicode character properties for OCaml
unicode text character org:erratique
The uucp programmers
15.0.0
ISC
Used by 16 other packages
uuidm
Universally unique identifiers (UUIDs) for OCaml
uuid codec org:erratique
The uuidm programmers
0.9.8
ISC
Used by 46 other packages
uunf
Unicode text normalization for OCaml
unicode text normalization org:erratique
The uunf programmers
15.0.0
ISC
Used by 9 other packages
uuseg
Unicode text segmentation for OCaml
unicode text segmentation org:erratique
The uuseg programmers
15.0.0
ISC
Used by 7 other packages
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 63 other packages
xmlm
Streaming XML codec for OCaml
xml codec org:erratique
The xmlm programmers
1.4.0
ISC
Used by 41 other packages