[ANN] Summer Internship at NASA Ames Research Center

1. ogma

   1 12 445 9.8 Haskell

   Generator of runtime monitors for flight and robotics applications.

   

   The student, if selected, will be working on extending our capabilities to test cFS/ROS/FPrime applications, especially those using Ogma and/or Copilot for monitoring. Both Ogma and Copilot are open-source software written in Haskell.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. copilot

   2 18 718 9.2 Haskell

   A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)

   

   The student, if selected, will be working on extending our capabilities to test cFS/ROS/FPrime applications, especially those using Ogma and/or Copilot for monitoring. Both Ogma and Copilot are open-source software written in Haskell.

Suggest a related project