Search Results for "source editor"

Present video folder overview in a novel way. Have a lot of files from camcorder or action cam. Need to sort them, dispose poor videos, edit (shorten) some that are to long and so on. The usual file managers show only 1 thumbnail per video, that is not enough. Note this is not a video editor but a special file manager to manage home videos by showing better information on your videos. Requirements: Python3, Gkt3, ffmpeg.

A Linux operating system, designed and developed to be beautiful, simple, fast, and stable on many computer hardware.

This GUI lets the user navigate a wide selection of LaTeX structure and formatting tags that are used to write a document in LaTeX. It also has a raw text input box with a LaTeX preview for testing out LaTeX markup. Also, each markup has associated help text and is automatically selected to be ready to paste into the user's text editor. Also, this GUI lets the user choose which text editor and supporting programs are used to create their LaTeX document instead of forcing them into a...

It uses most update packages and technologies for example OpenGL 4, pyhton3.3 and etc. Project focus is on simplicity, efficiency, performance, flexibility. This project aimed for Linux environment and more specifically Gnome shell. Its most development is in Fedora 20.

The Gedit "builder" plugin is a plugin for the Gnome Text Editor that allows you to compile source code and then click on the compiler output errors to go to those errors in the source code.

Dinate is a tag editor and renamer for mp3 files

Infectors it's a puzzle game inspired in frozen fruits and boxworld games. You must save the earth from a infectors virus epidemic, trapping all bugs in antiviral cryogenic capsules. It comes with a level editor

An extensible text editor for GNOME that combines simplicity with power.

gedit-pomode is a plugin for convinient editing PO files in the gedit text editor.

DEE Excellent Editor is a simple source code editor whit syntax highlighting for many languages with a file browser panel to quickly select files. DEE can open files from the local system or directly from an ftp server.

Eddt is a directory browsing plugin written in Python for the Gnome text editor, gedit. The purpose of this plugin is to give the user the ability to view any directory as a root directory within a hierarchical tree view.

Sieve script editor for Gnome, easy to use.

PAWed is a simple, easy to use, source code editor, written for GNOME2 and utilising Scintilla, which is extensible through plugins (e.g. HTML Tidy plugin) and Python scripting.

Tools based on a data structure to efficiently represent the current state of a game of Go. These include a Go problem solver and a SGF editor.

Moleskine is a source code editor for the GNOME desktop.

Glimmer is a code editor for GNOME, using Python as a scripting language for extending it's capabilities.

This editor aims to help users creating their own ebooks in the newly released Open Publishing standard defined by International Digital Publishing Forum. The editor will permit the creatioin of ebook in OCF-1.0 format (.epub)

RGnome is a gtk based frontend for GNU R, which is a widely used language for statistical computing. It features a fully working R console and an editor with syntax highlighting.