Name: Ivan Perez, PhD
Type: User
Company: @NASA Ames Research Center / KBR
Bio: Senior Research Scientist @ NASA Ames Research Center | Founder of Keera Studios | Haskell software architect | Adventurer & Explorer | Public Speaker
Location: San Jose, CA
Blog: https://ivanperez.io
Ivan Perez, PhD's Projects
DEPRECATED: Keep your $HOME clean by finding old conf files
A stream-based runtime-verification framework for generating hard real-time C code.
A finger painting program in Haskell using leapmotion
Game prototype(s)
Just a simple org-reveal demo file
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
An alternative version to Haskell's Binpack that is updated to work with the latest GHC
A mirror of fallingblocks (with minor updates)
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
Multiple Repository management tool
Game implemented during ZuriHac2015
Embed gloss in Gtk+ programs using gtkglext
A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
Homebrew formulae from NASA - Software Verification and Validation
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Test of monitor for Mars Rover Space ROS demo -- dummy example
ROS 2 docs repository
A simple implementation of affine spaces and vector spaces
Abstract full system simulator
A Graphical User Interface for the SoOSiM simulator
The Space ROS meta operating system for space robotics.
A Haskell game written in Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems
A collection of Yampa documentation
A gloss backend for yampa