Pinned Repositories
btob-workshop
coq-exercises
Exercises from software foundation for the Coq proof assistant
haxe-watch
watch script to rebuild on file change
majhaxe
CLI tool to kick some Haxe
middlebot
Generic Connect-like middleware manager
Reception
An Haxe cross-platform UI library, based on Cocktail
robinson-workshops
robinson.js
A port of robinson for node.js
yanhick.github.io
yanhick's Repositories
yanhick/robinson-workshops
yanhick/coq-exercises
Exercises from software foundation for the Coq proof assistant
yanhick/robinson.js
A port of robinson for node.js
yanhick/haxe-watch
watch script to rebuild on file change
yanhick/majhaxe
CLI tool to kick some Haxe
yanhick/yanhick.github.io
yanhick/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.
yanhick/conchord
A text-based format to represent a song chords and lyrics
yanhick/conchord-ui
A web UI to display songs in the conchord format written in Purescript
yanhick/elm-test
yanhick/halcyon
System for installing Haskell apps
yanhick/haskell-stream-processing
yanhick/haxe
Haxe - The Cross-Platform Toolkit
yanhick/HaxeManual
The official Haxe manual
yanhick/idris-exercises
exercises for the Idris book
yanhick/install
ansible playbook to setup machine with my config
yanhick/intellij-haxe
Haxe plugin for IntelliJ Platform based IDEs
yanhick/intellij-haxe-nightly-builds
yanhick/intellij-nightly
Triggers build and deploy from Travis.ci, to be used for nightly build
yanhick/judicious_filling_station_attendant
yanhick/purescript
A small strongly typed language that compiles to Javascript
yanhick/purescript-console
Console-related functions
yanhick/purescript-eff
The Eff monad, for handling native side effects
yanhick/purescript-node-postgres
PureScript bindings for node-postgres.
yanhick/purescript-prelude
The PureScript Prelude
yanhick/push-notify
Easily send notifications over multiple protocols (apn, gcm, c2dm, mpns).
yanhick/robinson.elm
toy css/html rendering engine in Elm
yanhick/robinson.js-es6
Convert robinson.js to ES6 using traceur compiler
yanhick/vagrant-jenkins-ansible
test of mixing vagrant ansible and Jenkins to setup a CI farm
yanhick/vim-node
Tools and environment to make Vim superb for developing with Node.js. Like Rails.vim for Node.