PinnedLoading

1. nasa/ogmanasa/ogmaPublic

   Generator of runtime monitors for flight and robotics applications.

   Haskell 376 34

2. Copilot-Language/copilotCopilot-Language/copilotPublic

   A stream-based runtime-verification framework for generating hard real-time C code.

   Haskell 688 59

3. YampaYampaPublic

   Functional Reactive Programming domain-specific language for efficient hybrid systems

   Haskell 455 52

4. dunaidunaiPublic

   Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

   Haskell 217 37

5. haskanoidhaskanoidPublic

   A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

   Haskell 276 27

6. space-ros/space-rosspace-ros/space-rosPublic

   Forked fromros2/ros2

   The Space ROS meta operating system for space robotics.

   Earthly 182 42