10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
genode-toolchain-bin 17.05-1 4 0.00 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-pgpmime-nopyassuan-git 20140213-1 0 0.00 Fork of python-pgpmime that does not require pyassuan 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 s2.4.5.r2.g5b675ea-1 9 0.00 A command-line todo list manager vali
taskopen 1.1.3-2 11 0.01 Script for taking notes and open urls with taskwarrior vali
vim-coquille-git 3bd17ca-1 1 0.78 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

10 packages found. Page 1 of 1.