- Helsinki, Finland
- Joined on
Nov 15, 2008
forked from agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
forked from cljsjs/packages
forked from Homebrew/homebrew-core
forked from caskroom/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
forked from isteven/angular-multi-select
A multi select dropdown directive for AngularJS. Allows you to use HTML tags and CSS in the data. Requires only AngularJS and nothing else.
forked from omergertel/pyformance
Performance metrics, based on Coda Hale's Yammer metrics
forked from mfogel/django-timezone-field
A Django app providing database and form fields for pytz timezone objects.
forked from Runscope/httpbin
HTTP Request & Response Service, written in Python + Flask.
forked from ros/catkin
A CMake-based build system that is used to build all packages in ROS.
forked from clojure-emacs/clojure-mode
Emacs support for the Clojure language
forked from dropwizard/metrics
Capturing JVM- and application-level metrics. So you know what's going on.
forked from mwaskom/seaborn
Improved matplotlib for statistical data visualization
forked from clojure-emacs/cider
An Emacs client for nREPL, the Clojure networked REPL server
forked from idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
forked from liebke/analemma
Analemma is a Clojure library for generating charts and Scalable Vector Graphics (SVG)
forked from raimohanska/turtle-roy
Turtle Roy == Roy with Turtle Graphics
forked from puffnfresh/roy
forked from jfryman/puppet-nginx
Puppet Module to manage NGINX on various UNIXes
forked from pkrumins/node-png
A nodejs C++ module that given a buffer with RGB or RGBA values creates a PNG image (in memory).
forked from michaelmelanson/network-websocket
Websocket library for Haskell
forked from Homebrew/legacy-homebrew
Packaging system for Mac OS X 10.5 and above; heavy optimisations, no redundant packages and a bonus beer theme