Treehopper/wickedshell
A non-evil eclipse plugin providing an integrated shell. This plugin enables the use of the system shell directly from the eclipse IDE.
Discovered public repositories for Treehopper in the GitHub catalog.
A non-evil eclipse plugin providing an integrated shell. This plugin enables the use of the system shell directly from the eclipse IDE.
Configuration plug-in for the Eclipse plug-in Wicked Shell
Public repository.
Public repository.
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Composite p2 repository for Eclipse plug-in that I choose from for almost every new Eclipse install.
A collection of workspace mechanic configs for Eclipse
Supplemental Widgets for SWT (Nebula) project repository (nebula)
Nebula Visualization
Eclipse Platform project repository (eclipse.platform.swt)
This Eclipse Indent Outline View links itself to the active text editor in the Eclipse IDE, and shows it's content as a tree by using the indentation of the editors content to generate a tree structure.
Public repository.
shellinabox custom css
Public repository.
Public repository.
Slic3r configurations for our custom RepRap Prusa Mendel 3D printer
Public repository.
Firmware for Arduino based RepRap 3D printer.
Firmware for RepRap printers and similar devices
Tests for the EmfStore
A simple and extensible shell script for managing your todo.txt file.
Yet another reference card for commandline git. Simply compile with $ pdflatex git-cheatsheet.tex
Solving the Traveling Salesman Problem with Simulated Annealing - A quick hack in Python
translate between arbitrary language on the command line
pack and unpack archives; addresses the old problem of too many different archive types and too many programs with different syntax, using filename extensions and mime-types