python3-aiorecollect
asyncio-based library for the ReCollect Waste API
Aiorecollect is a Python 3, asyncio-based library for the ReCollect Waste API.
It allows users to programmatically retrieve schedules for waste removal in
their area, including trash, recycling, compost, and more.
s3fs
FUSE-based file system backed by Amazon S3
s3fs is a FUSE filesystem that allows you to mount an Amazon S3 bucket
as a local filesystem. It stores files natively and transparently in
S3 (i.e., you can use other programs to access the same files).
Maximum file size is 5 TB when using multipart upload.
libssreflect-coq
Mathematical Components library for Coq
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
alsa-utils
Utilities for configuring and using ALSA
Included tools:
- alsactl: advanced controls for ALSA sound drivers
- alsaloop: create loopbacks between PCM capture and playback devices
- alsamixer: curses mixer
- alsaucm: alsa use case manager
- amixer: command line mixer
- amidi: read from and write to ALSA RawMIDI ports
- aplay, arecord: command line playback and recording
- aplaymidi, arecordmidi: command line MIDI playback and recording
- aconnect, aseqnet, aseqdump: command line MIDI sequencer control
- iecset: set or dump IEC958 status bits
- speaker-test: speaker test tone generator
gccgo-11-arm-linux-gnueabihf
GNU Go compiler
This is the GNU Go compiler, which compiles Go on platforms supported
by the gcc compiler. It uses the gcc backend to generate optimized code.
libparlatype7
Library for Parlatype - runtime version
Provides the GStreamer backend for Parlatype, a wave loader and a wave viewer
widget. Mainly used by Parlatype but open for other programs as well.