3 search results for "tag:"keyword:serialization""

Showing 1 - 3
  1. coq-ceres

    No documentation

    Library for serialization to S-expressions
    logpath:Ceres keyword:serialization
    Li-yao Xia
    0.4.1
    MIT
    Used by 5 other packages
    03 Jul 2023
  2. coq-json

    No documentation

    JSON in Coq
    category:Computer Science/Data Types and Data Structures keyword:serialization keyword:JSON logpath:JSON
    Yishuai Li <liyishuai.lys@alibaba-inc.com>
    0.2.0
    BSD-3-Clause
    Used by 2 other packages
    09 Oct 2024
  3. rocq-ceres-bytestring

    No documentation

    Library for serialization via S-expressions using bytestrings
    category:Computer Science/Data Types and Data Structures keyword:serialization logpath:CeresBS date:2026-03-11
    Li-yao Xia Ekse Nielsen
    1.0.0
    MIT
    Used by 2 other packages
    11 Mar 2026