genode-toolchain-bin |
19.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-pycpa-git |
20200909-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-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-git |
20200909-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
|
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.r414.g4bbde50d9-1 |
13 |
0.02 |
A command-line todo list manager |
vali
|
taskopen |
1.1.4-1 |
16 |
0.00 |
Script for taking notes and open urls with taskwarrior |
vali
|
vim-openbrowser |
0.0.7-1 |
0 |
0.00 |
Open URI with your favorite browser from vim |
vali
|