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

Sponsors

@johannes-riecken

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2
BetaSend feedback

Organizations

@nasa @Copilot-Language
Block or Report

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

  1. nasa/ogma nasa/ogma Public

    Haskell 320 22

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

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

    Haskell 595 47

  3. Yampa Yampa Public

    Functional Reactive Programming domain-specific language for efficient hybrid systems

    Haskell 421 49

  4. dunai dunai Public

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

    Haskell 191 29

  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 116 12