Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Other

aac-tactics

Arduino library to play MOD, WAV, FLAC, MIDI, RTTTL, MP3, and AAC files on I2S DACs or with a software emulated delta-sigma DAC on the ESP8266 and ESP32

GNU General Public License v3.0

ESP8266Audio


Description


Soundwaves is a client for the Subsonic music server.Soundwaves focuses on simplicity, making it the ideal client to connect your iPad or iPhone to your home theater setup.Optionally setting a suitable max bit rate, enables Soundwaves to work well even over a bandwidth limited connection (e.g. a mobile connection). It will also play nicely with your car radio, connected via USB, Bluetooth or CarPlay.In addition to audio formats natively supported by iOS (e.g. mp3, AAC), Soundwaves can also play FLAC, Opus and Ogg Vorbis content.Soundwaves can also play movies from your Subsonic server, as long as they are in a supported format (.mov, .mp4, .mpv, .3gp) or a proper transcoding has been configured on the server.Soundwaves works with other media servers which implement the same Subsonic API's, such as Madsonic, Airsonic, Supysonic, LMS or Ampache.Note about privacy: tracking only happens when using the free, ad-supported version. Removing ads via the in-app purchase also stops tracking and data collection.




music streaming server / free-software subsonic server API implementation

gonic

React Native Android module audio streaming AAC

MIT License

react-native-android-audio-streaming-aac

LaiFeng IOS Live Kit,H264 and AAC Hard coding，support GPUImage Beauty， rtmp transmission，weak network lost frame，Dynamic switching rate

LFLiveKit

📺 tube is a Youtube-like (without censorship and features you don't need!) Video Sharing App written in Go which also supports automatic transcoding to MP4 H.265 AAC, multiple collections and RSS feed.