bitwuzla/bitwuzla: Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”. 🗄️Vector Databases
aston89/UNlossifier-lossy-audio-reconstructor-and-sound-signature-simulator: UNlossifier is a U-Net based audio system for lossy reconstruction and sound signature simulation. It restores degraded compressed audio while also learning codec and analog-style transformations, enabling both audio recovery and creative sound domain transfer. 📡Signal Processing