ivanperez-keera Goto Github PK

clean-home

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

copilot

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

demos-hacknotts2015

A finger painting program in Haskell using leapmotion

demos-hchipmunk-ball

Game prototype(s)

demos-org-reveal

Just a simple org-reveal demo file

dunai

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

forks-binpack

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

forks-fallingblocks

A mirror of fallingblocks (with minor updates)

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

games-voldemort

Game implemented during ZuriHac2015

gloss-gtk

Embed gloss in Gtk+ programs using gtkglext

haskanoid

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

homebrew-core

Homebrew formulae from NASA - Software Verification and Validation

ikos

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

mars_rover_monitor_test

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

ogma

ros2_documentation

ROS 2 docs repository

simple-affine-space

A simple implementation of affine spaces and vector spaces

soosim

Abstract full system simulator

soosim-components

soosim-ui

A Graphical User Interface for the SoOSiM simulator

space-ros

The Space ROS meta operating system for space robotics.

spaceinvaders

A Haskell game written in Yampa

yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

yampa-docs

A collection of Yampa documentation

yampa-gloss

A gloss backend for yampa