C++ library for audio and music analysis, description and synthesis, including Python bindings
PISA: Performant Indexes and Search for Academia
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more. Features: rich built-in library of math functions, operators, constants. Flexible in user-defined arguments, functions. Expressions provided as plain text. Easy to use. Well documented.
A high performance Vector Database leveraging parallel graph computing
Ramulator 2.0 is a modern, modular, extensible, and fast cycle-accurate DRAM simulator. It provides support for agile implementation and evaluation of new memory system designs (e.g., new DRAM standards, emerging RowHammer mitigation techniques). Described in our IEEE CAL 2023 paper: https://arxiv.org/pdf/2308.11030.
A library to train, evaluate, interpret, and productionize decision forest models such as Random Forest and Gradient Boosted Decision Trees.
Fast CSV parser and writer for Modern C++
AI pair programming in your terminal β one static binary, sub-ms startup, any model
Zero-knowledge proof of machine learning from the vector oblivious linear evaluation
Zero-knowledge proof from the vector oblivious linear evaluation (VOLE)
(Committed) Vector oblivious linear evaluation
Content-addressed cache plugin for Nix: fast tarball fetching and a persistent eval store