2 search results for "tag:"keyword:data structures""

Showing 1 - 2
  1. coq-diqt

    No documentation

    Formalization of hashtables with Radix trees and PArray
    keyword:hashtables keyword:primitive arrays keyword:data structures keyword:dictionaries category:Computer Science/Data Types and Data Structures logpath:Diqt date:2023-07-13
    Valeran Maytié <valeran.maytie@universite-paris-saclay.fr>
    1.0.0
    CECILL-B
    Used by 0 other packages
    13 Jul 2023
  2. coq-msets-extra

    No documentation

    Extensions of MSets for Efficient Execution
    keyword:finite sets keyword:fold with abort keyword:extracting efficient code keyword:data structures category:Computer Science/Data Types and Data Structures category:Miscellaneous/Extracted Programs/Data structures logpath:MSetsExtra date:2019-09-19
    FireEye Formal Methods Team <formal-methods@fireeye.com> Thomas Tuerk <thomas@tuerk-brechen.de>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2019