{"repository":{"has_wiki":true,"organization":"agda","homepage":"","watchers":19,"open_issues":1,"language":"JavaScript","pushed_at":"2012/02/13 12:40:38 -0800","fork":false,"created_at":"2011/09/12 15:17:06 -0700","size":220,"private":false,"has_issues":true,"has_downloads":true,"forks":3,"owner":"agda","description":"ECMAScript back end for Functional Reactive Programming in Agda"},"actor_attributes":{"name":"Yin Wang","blog":"http://www.cs.indiana.edu/~yw21","type":"User","email":"4a1f155d290e477848bf3e4e74103328d71ecc97@gmail.com"},"url":"https://github.com/agda/agda-frp-js"}