Stars
Sphinx is a state-of-the-art succinct and dynamic perfect hash table engineered for high performance on modern x86 CPUs.
A framework to help Data Scientists and Database Researchers
a python framework to build, learn and reason about probabilistic circuits and tensor networks
VecHT: A High-Performance Hash Table Optimized for Batch Lookups
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
An implementation of the "Handlers in action" calculus in the K Framework
BayesCard: Revitalizing Bayesian Networks for Cardinality Estimation
An implementation of the staged Strymonas streams library in Agda for C
Nucleotide-pair encoding of 16S rRNA sequences for host phenotype and biomarker detection
Squid – type-safe metaprogramming and compilation framework for Scala
A domain-specific-language and compiler for low-level bitstream processing.
Your favorite language gets closer to bare metal.