package coq-diqt

  1. Overview
  2. No Docs
Formalization of hashtables with Radix trees and PArray

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. V
    Valeran Maytié <valeran.maytie@universite-paris-saclay.fr>

Maintainers

  1. V
    valeran.maytie@universite-paris-saclay.fr

Sources

diqt-1.0.tar.gz
sha512=716ab079e2bdc37773f02757d99509313fa7bef513ff8332ab720bc1cb6f50ef25696981eabdd8d8206a92ee94454c14e5666971fda2370eaae996959446e648

Description

This library provides two hashtable structures. They use either Radix trees and positive integers, or persistent arrays (Coq.PArray) and machine integers. Their purpose is to be efficient when evaluating the code with Coq's virtual machine (vm_compute).

Tags

keyword:hashtables keyword:primitive arrays keyword:data structures keyword:dictionaries category:Computer Science/Data Types and Data Structures logpath:Diqt date:2023-07-13

Published: 13 Jul 2023

Dependencies (1)

  1. coq >= "8.14"

Dev Dependencies

None

Used by

None

Conflicts

None