This page contains links to projects I am (or was) involved in.

• GIT repositories of some of our university projects
• My GitHub profile

Development projects

• NUL – The NOVA UserLand
• FRSH/FORB – Resource reservation framework for real-time and distributed applications
• Sysless – operating system-less development framework for small microcontrollers
• OMK – Ocera MaKe system
• Notmuch – The mail indexer
• ORTE – open source implementation of the Object Management Group (OMG) Data Distribution Service (DDS).
• Boost statechart viewer — program for visualization of state machines written in C++ with boost/statechart library.

Robots

• Eurobot team Flamingos
• Eurobot team CTU Dragons
• SPEJBL – Biped Robot (video)
• ReToBot
• Mirosot

EU Projects

• HERCULES – High-Performance Real-time Architectures for Low-Power Embedded Systems
• SESAMO – Security & Safety Modelling
• PASSIVE – Policy-Assessed system-level Security of Sensitive Information processing in Virtualised Environments
• FRESCOR – Framework for Real-time Embedded Systems based on COntRacts
• OCERA – Open Components for Real-Time Applications

Other

• Laser – http://rtime.felk.cvut.cz/laser