Yannick Dominguez's repositories
coq-exercises
Exercises from software foundation for the Coq proof assistant
robinson.js
A port of robinson for node.js
haxe-watch
watch script to rebuild on file change
conchord
A text-based format to represent a song chords and lyrics
conchord-ui
A web UI to display songs in the conchord format written in Purescript
HaxeManual
The official Haxe manual
idris-exercises
exercises for the Idris book
intellij-haxe
Haxe plugin for IntelliJ Platform based IDEs
intellij-nightly
Triggers build and deploy from Travis.ci, to be used for nightly build
purescript
A small strongly typed language that compiles to Javascript
purescript-console
Console-related functions
purescript-eff
The Eff monad, for handling native side effects
purescript-node-postgres
PureScript bindings for node-postgres.
purescript-prelude
The PureScript Prelude
push-notify
Easily send notifications over multiple protocols (apn, gcm, c2dm, mpns).
robinson.elm
toy css/html rendering engine in Elm
robinson.js-es6
Convert robinson.js to ES6 using traceur compiler
vagrant-jenkins-ansible
test of mixing vagrant ansible and Jenkins to setup a CI farm
vim-node
Tools and environment to make Vim superb for developing with Node.js. Like Rails.vim for Node.