Skip to content
View ivanperez-keera's full-sized avatar
🚀
Exploring
🚀
Exploring
341 followers · 17 following

Sponsors

@johannes-riecken

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@nasa @Copilot-Language

Block or report ivanperez-keera

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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

    Generator of runtime monitors for flight and robotics applications.

    Haskell 338 26

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

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

    Haskell 660 57

  3. Yampa Yampa Public

    Functional Reactive Programming domain-specific language for efficient hybrid systems

    Haskell 449 51

  4. dunai dunai Public

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

    Haskell 212 35

  5. haskanoid haskanoid Public

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

    Haskell 273 27

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

    Forked from ros2/ros2

    The Space ROS meta operating system for space robotics.

    Earthly 169 40