Stars
abstraction library for devices memory copy with cross-framework support
Append-only key-value database on a distributed shared-log
Manipulate audio with a simple and easy high level interface
A collection of links and notes on forced alignment tools
Scripts to download and extract audio files from audioknigi.club
OpenCL memory abstraction library for memory transfer optimization
Exploration of a game mechanic based on reconstructing a simulated language family
A simple dataset of Stack Overflow questions and tags
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.