Daniel Kutenin's Projects
ClickHouse® is a free analytics DBMS for big data
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2
FlatBuffers: Memory Efficient Serialization Library
Standard MLIR dialects for homomorphic encryption
Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики
kaldi-asr/kaldi is the official location of the Kaldi project.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Extremely Fast Compression algorithm
Selection and partial sorting algorithms
Such tasks many wow
Optimized implementations of various library functions for ARM architecture processors
Unicode routines (UTF8, UTF16, UTF32): billions of characters per second using SSE2, AVX2, NEON, AVX-512.
Search index algorithm for GitHub code search
A portable fork of the high-performance regular expression matching library
Zstandard - Fast real-time compression algorithm