Advertisement
Platform Independent Petri Net Editor
Platform Independent Petri Net Editor is a tool for creating and analyzing Petri Nets....
Editor
Edit any website with this restartless add-on for Mozilla Firefox...
Record Editor
A programmer's data file editor for files where fields occupy fixed positions in a record....
data programmers file editor programmer's editor programmer data file editor
Htpasswd Editor
Ncurses interface for htpasswd files....
password interface htpasswd htpasswd editor htpasswd interface
Subtitle Editor
Subtitle Editor is a GTK 2 tool to edit subtitles for GNU/Linux....
editor transform subtitle edit subtitles transform subtitles
ProVerif Editor
Check and edit protocols specified in SPI-calculus...
editor check protocols protocols editor SPI calculus ProVerif
hOCR editor
Extension for editing hOCR documents...
Firefox extension Firefox editor Optical Character Recognition hOCR documents
Gconf Editor
Gconf Editor is an editor for the GConf configuration system....
editor configuration GConf configuration editor Gconf editor
Plugged Editor
PlEd is a editor, programmable by plugins....
ee Editor
ee Editor is a very easy-to-use text editor available on our Unix systems....
editor text editor text terminal-based screen oriented editor
Hebrew Editor
Hebrew Editor package allows Hebrew-speaking users to create and edit Hebrew/English LaTeX documents....
Tag Editor
Tag Editor is a Firefox extension that generates tag links for your blog....
RSS Editor
RSS Editor is a Firefox extension that acts as a desktop RSS editor for casual editing of RSS 2.0 files....
GStreamer-editor
Graphical editor for creating GStreamer media pipelines....
media gstreamer pipelines creator media pipelines creator GStreamer-editor
KXML Editor
KXML Editor is a XML Editor for KDE....
Icon Editor
Icon Editor is a Java utility to edit icon images or FAVICON.ICO files for web pages....
Site Editor
Site Editor is a CGI script which allows a user to manage their web space without needing ftp access....