ivanperez-keera (Ivan Perez, PhD) · GitHub
Skip to content
View ivanperez-keera's full-sized avatar
🚀
Exploring
🚀
Exploring
407 followers · 18 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 @pic64-hpsc-hx

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 565 54

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

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

    Haskell 831 77

  3. space-ros/space-ros space-ros/space-ros Public

    Forked from ros2/ros2

    The Space ROS meta operating system for space robotics.

    Earthly 233 52