jbapple Goto Github PK

128-bit-literals

Library for literal 128-bit integers in C++

abseil.github.io

Abseil documentation abseil.io

acf

simulator code for the Adaptive Cuckoo Filter

arrow

Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.

bitweaving

book

The Rust Programming Language

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cqf

A General-Purpose Counting Filter: Counting Quotient Filter

cuckoofilter

datasketches-cpp

Core C++ Sketch Library

deamortized-hash-table

Rehashing without stopping the world

deques

Automatically exported from code.google.com/p/deques

dysect

Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.

eastl

EASTL stands for Electronic Arts Standard Template Library. It is an extensive and robust implementation that has an emphasis on high performance.

halftimehash

HalftimeHash is designed to hash long input very fast

hash-rs

Benchmarks of various hashers

ibis-project.org

Ibis website and documentation

impala

Apache Impala

incubator-iceberg

Apache Iceberg (Incubating)

libfilter

High-speed Bloom filters and taffy filters for C, C++, and Java

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam

modern-cpp-template

A template for modern C++ projects using CMake, clang-format and unit testing, with support for downstream inclusion

morton_filter

A compressed, sparse cuckoo filter (see https://www.vldb.org/pvldb/vol11/p1041-breslow.pdf)

nanobench

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

native-toolchain

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

on-off-sketch

ossrh-66041

parquet-format

Apache Parquet

parquet-mr

Apache Parquet