Meijuh/spins
Public repository.
Adds Pulse audio shortcuts to the Sound Menu. Read through the extension.js file to choose which entries to hide/show. By default this only displays PA Volume Control & PA Preferences at the end of the Sound/Volume Menu, preceded by a seperator. The extension is also simple enough to use as a great starting point for others.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
Public repository.
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
The LTSmin model checking toolset