Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
A header-only C++ library for task concurrency
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.
- adbreak
- adrianofdoom
- adtech
- hls-live-streaming