Open Hub
Open Hub
 

Managed Projects

mrrocpp

  Analyzed 11 months ago

Multi Robot Research Oriented Controler

97.7K lines of code

0 current contributors

almost 11 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3

spark2014

  Analyzed 11 months ago

SPARK is a software development technology specifically designed for engineering high-reliability applications.

192K lines of code

16 current contributors

11 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Ada
Licenses: gpl3
Tags ada2012 formal verification