9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
genode-toolchain-bin 17.05-1 5 0.02 GCC-based toolchain for the genode framework vali
mast 1.5.1.0-1 0 0.00 Modeling and Analysis Suite for Real-Time Applications vali
python-pycpa-hg 20150317-1 0 0.00 Pragmatic Python implementation of Compositional Performance Analysis (aka the SymTA/S approach provided by Symtavision) used for research in worst-case timing analysis. vali
python-pyplothelper-git r14.9e175cd-1 1 0.00 A collection of scripts that facilitate the creation of fancy plots with matplotlib. vali
python2-pycpa-hg 20150317-1 0 0.00 Pragmatic Python implementation of Compositional Performance Analysis (aka the SymTA/S approach provided by Symtavision) used for research in worst-case timing analysis. vali
task-git stable.r304.g66b2e3468-1 10 0.01 A command-line todo list manager vali
taskopen 1.1.3-2 13 0.00 Script for taking notes and open urls with taskwarrior vali
vim-coquille-git 3bd17ca-1 1 0.00 Vim plugin aiming to bring the interactivity of CoqIDE into your favorite editor. vali
vim-openbrowser 0.0.7-1 0 0.00 Open URI with your favorite browser from vim vali

9 packages found. Page 1 of 1.