Skip to content
View ivanperez-keera's full-sized avatar
🚀
Exploring
🚀
Exploring

Sponsors

@johannes-riecken

Organizations

@nasa @Copilot-Language
Block or Report

Block or report ivanperez-keera

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. nasa/ogma nasa/ogma Public

    Haskell 324 23

  2. Copilot-Language/copilot Copilot-Language/copilot Public

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

    Haskell 618 49

  3. Yampa Yampa Public

    Functional Reactive Programming domain-specific language for efficient hybrid systems

    Haskell 430 49

  4. dunai dunai Public

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

    Haskell 198 30

  5. haskanoid haskanoid Public

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

    Haskell 272 30

  6. space-ros/space-ros space-ros/space-ros Public

    Forked from ros2/ros2

    The Space ROS meta operating system for space robotics.

    Earthly 124 13