EliasH-NMBU

Applied Robotics Master Degree, with focus on software implementations, design and research.

Pinned Repositories

M30-RB_RV_FrameWork
Framework for Runtime Verification of ROS2 Systems
Language:C++20
Sphere-Collision-Fun
INF205 group project concerning colliding spheres
Language:TeX00
Thesis_Workspace
Workspace for Elias and Tage's master thesis
Language:Python20
CppIntroduction
Different valuable tests for cpp programming
Language:C++00
CV-WebPage
Language:Python00
webCV
Language:Python10
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Language:JavaScript304 23 3751
ogma
Generator of runtime monitors for flight and robotics applications.
Language:Haskell338 13 12026

EliasH-NMBU's Repositories

EliasH-NMBU/webCV
Language:Python10
EliasH-NMBU/CppIntroduction
Different valuable tests for cpp programming
Language:C++00
EliasH-NMBU/CV-WebPage
Language:Python00