wires/purescript
A small strongly, statically typed language which compiles to Javascript
Developer Profile
wires
Discovered public repositories for wires in the GitHub catalog.
wires/statebox-js
nodejs statebox
wires/gulp-static-site-example
Example setup for gulp-static-site
wires/gulp-static-site
Gulp plugin to render static site
wires/working-with-aws-sdk-q-node
Some info how to work with AWS
wires/lodash
A utility library delivering consistency, customization, performance, & extras.
wires/javascript-template
Gulp, NPM, Browserify, etc..
wires/hello-node-webkit
Public repository.
wires/nullbook
removes all your activities from facebook.
wires/cordova-app-hello-world
Mirror of Apache Cordova hello world
wires/scala-hello-spray
spray example from amsterdam.scala meetup, code by Age Mooij
wires/psychic-bear
grand unified theory book, under FSF license.
wires/phonegap-test
phonegap test
wires/Elm
The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
wires/elasticsearch-head
A web front end for an elastic search cluster
wires/sense
a json aware ElasticSearch front end
wires/android-standalone-tape-sample
sample project from the android tape library, fixed the pom
wires/netty-guice-maven-template
Simple template for a netty based daemons
wires/arbor
a graph visualization library using web workers and jQuery
wires/pancakes
pancakes implements version control of graphs
wires/nederlandse_werkwoorden
effe voor de lol
wires/blueprints-versionedgraph
Provide a more "functional view" of blueprints graphs
wires/degraphmalizer
Elasticsearch Degraphmalizer Plugin
wires/easypost
postfix + postgresql + python
wires/bigdump
Store a lot of stuff on the filesystem
wires/fr_public
Farbrausch demo tools 2001-2011
wires/move_window
Tool to arange windows quickly on the Mac OS X desktop
wires/repomess
Automatically pull all your repositories from github and bitbucket
wires/MusicHasTheRightToChildren
Music Has the Right to Children
wires/corn
Public repository.
wires/HoTT
Homotopy type theory
wires/emacs
Emacs Configuration
wires/coqproc
Process coq source files with python
wires/coq-cse
Google Custom Search for Coq
wires/coqlab
random coq snippets
wires/Foundations
Development of the univalent foundations of mathematics in Coq
wires/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
wires/Homotopy
Homotopy theory in Coq.
wires/fewdigits
Forked from http://r6.ca/FewDigits/
wires/math-classes
Public repository.