greenrd/taskwarrior-mode
Emacs support for Taskwarrior
Developer Profile
greenrd
Discovered public repositories for greenrd in the GitHub catalog.
greenrd/dbus-java
Java D-Bus Implementation
greenrd/org-trello
Org minor mode - 2-way sync org & trello
greenrd/templatedata
MediaWiki VisualEditor TemplateData editor
greenrd/migrate_issues
migrate GitHub issues to YouTrack
greenrd/youtrack-openshift
A quickstart to get YouTrack up and running on OpenShift
greenrd/scala-ide
Scala IDE for Eclipse
greenrd/scala
The Scala programming language
greenrd/Play20
Play framework 2.x
greenrd/edit-merge-commit
Helps you to edit merge commits in git
greenrd/sbt
sbt, a build tool for Scala
greenrd/sbt-cross-building
Enable cross-building of sbt plugins
greenrd/genmailmap
Generate mailmap file for a git repository
greenrd/magit-gh-pulls
Magit plugin for dealing with GitHub pull requests
greenrd/topgit
TopGit is now maintained at
greenrd/sbt-autodeps
Generates sbt dependencies from packages
greenrd/qataki
Command line Identi.ca/StatusNet/Twitter client.
greenrd/blogsciple
Blogsiple in Scala on Play
greenrd/play-scala.g8
giter8 template for a Scala Play project
greenrd/scala-arm
This project aims to be the Scala Incubator project for Automatic-Resource-Management in the scala library
greenrd/Hotot
A Twitter Client
greenrd/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.
greenrd/helpme
A Haskell program that helps you to do stuff.
greenrd/wp2git
Downloads and imports Wikipedia page histories to a git repository
greenrd/magit
It's Magit! An Emacs mode for Git.
greenrd/Coq-Equations
A plugin for Coq to add dependent pattern-matching.
greenrd/exherbo-misc
Custom exhereses for Exherbo