yanhick

robinson-workshops

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

majhaxe

CLI tool to kick some Haxe

yanhick.github.io

Cocktail

Cocktail, HTML rendering engine. Cocktail is cross-platform, embeddable and native. It renders HTML5, CSS3 and Haxe Javascript in native applications and web apps.

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

elm-test

halcyon

System for installing Haskell apps

haskell-stream-processing

haxe

Haxe - The Cross-Platform Toolkit

HaxeManual

The official Haxe manual

idris-exercises

exercises for the Idris book

install

ansible playbook to setup machine with my config

intellij-haxe

Haxe plugin for IntelliJ Platform based IDEs

intellij-haxe-nightly-builds

intellij-nightly

Triggers build and deploy from Travis.ci, to be used for nightly build

judicious_filling_station_attendant

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.