Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
-
Updated
Mar 15, 2021 - Coq
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
OCaml implementations of succinct bitvector rank/select and wavelet trees, wrapping the bitv library
Implementation of the wavelet trie data structure
include Succinct Double Array Aho-Corasick, Nest-Unescape
C++17 library that packed some of succinct data structures and algorithms supports.
EliasFanoCompression: quasi-succinct compression of sorted integers in C#
Space efficient (graph) algorithms
A string library
Succinct Data Structure of Trie, written in Go
Python bindings to Succinct Data Structure Library 2.0
Ultra-fast and memory-efficient (meta-)genome assembler
Add a description, image, and links to the succinct topic page so that developers can more easily learn about it.
To associate your repository with the succinct topic, visit your repo's landing page and select "manage topics."