tomga

Pinned Repositories

genode
Genode OS Framework
Language:C++30
genode-rpi
Raspberry Pi family support for Genode OS framework
Language:C++00
genode-world
Collection of community-maintained components for Genode
Language:C++00
genodebuildtool
Language:Python00
genodian
00
pytest-html
Plugin for generating HTML reports for py.test results
Language:Python00
webkit
Unofficial mirror of the WebKit SVN repository
00
genode
Genode OS Framework
Language:C++1.1k254
pytest-html
Plugin for generating HTML reports for pytest results
Language:Python700235
genode-world
Collection of community-maintained components for Genode
Language:C4547

tomga's Repositories

tomga/genodebuildtool
Language:Python
tomga/genode
Genode OS Framework
Language:C++3
tomga/genode-rpi
Raspberry Pi family support for Genode OS framework
tomga/genode-world
Collection of community-maintained components for Genode
Language:C++
tomga/genodian
tomga/webkit
Unofficial mirror of the WebKit SVN repository
tomga/pytest-html
Plugin for generating HTML reports for py.test results
Language:Python