package rocq-ceres-bytestring

You can search for identifiers within the package.

in-package search v0.2.0

Library for serialization via S-expressions using bytestrings

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

Maintainers

T

The Peregrine team

Sources

rocq-ceres-bytestring-1.0.0.tar.gz

sha512=61dd89d44ed179e1820d8f5e87129ca2b02d50e5ba6ded0b3e42b69338e40604ca845d1c0e3bf47c753ad1a10572fdc3898d13841d05b9a47c2083cfc33dcd2e

Description

Library for serialization via S-expressions using bytestrings. Alternative to coq-ceres which uses String from standard library.

Tags

category:Computer Science/Data Types and Data Structures keyword:serialization logpath:CeresBS date:2026-03-11

Published: 11 Mar 2026

Dependencies (3)

rocq-metarocq-utils >= "1.4~"
coq >= "9.0~"
dune >= "2.8"

Dev Dependencies (1)

odoc with-doc

Used by (2)

rocq-cakeml-extraction
rocq-verified-extraction >= "1.0.0+9.1"

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies (1)
Used by (2)
Conflicts