ivanperez-keera

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

haskanoid

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

dunai

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

SpaceInvaders

A Haskell game written in Yampa

forks-fallingblocks

A mirror of fallingblocks (with minor updates)

simple-affine-space

A simple implementation of affine spaces and vector spaces

yampa-gloss

A gloss backend for yampa

demos-hacknotts2015

A finger painting program in Haskell using leapmotion

clean-home

DEPRECATED: Keep your $HOME clean by finding old conf files

games-voldemort

Game implemented during ZuriHac2015

yampa-docs

A collection of Yampa documentation

gloss-gtk

Embed gloss in Gtk+ programs using gtkglext

SoOSiM-ui

A Graphical User Interface for the SoOSiM simulator

copilot

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

demos-hchipmunk-ball

Game prototype(s)

mars_rover_monitor_test

Test of monitor for Mars Rover Space ROS demo -- dummy example

SoOSiM

Abstract full system simulator

demos-org-reveal

Just a simple org-reveal demo file

forks-binpack

An alternative version to Haskell's Binpack that is updated to work with the latest GHC

forks-ghcjs-base

base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC

forks-gooey

forks-myrepos

Multiple Repository management tool

homebrew-core

Homebrew formulae from NASA - Software Verification and Validation

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

ogma

ros2_documentation

ROS 2 docs repository

SoOSiM-components

space-ros

The Space ROS meta operating system for space robotics.