splatlab's repositories
rankselect
Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences
morton_filter
A compressed, sparse cuckoo filter (see https://www.vldb.org/pvldb/vol11/p1041-breslow.pdf)
Language:C000
dafny
Dafny is a verification-aware programming language
Language:C#NOASSERTION000
firehose
The main purpose of the FireHose Streaming Benchmarks is to enable comparison of streaming software and hardware, both quantitatively vis-a-vis the rate at which they can process data, and qualitatively by judging the effort involved to implement and run the benchmarks.