Search Results for "ffmpeg gui mac" - Page 52

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...

The Auckland Layout Model is a platform-independent 2D layout technology for arranging the controls in a GUI. The model supports the specification of constraints based on linear algebra, and an optimal layout is calculated using linear programming.

java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.

SVN Statistika is a server-side application for generating reports (graphs, trees, tables) from subversion repository. Client-side GUI application is also avaible and is used to control the server-side.

Providing an extremely-easy-to-use GUI for editing Openbravo ERP's language xml files, aiming for a colaborative work where a localized community (usually from the same country) works over the same files to generate a new complete translation quickly.

A gui based man against machine poker (texas hold them) end user application which will deduce and adapt to the player's strategy.

Project Lorelai RPG Engine is an RPG engine coded in C++. An RPG engine takes care of managing life, inventories, items, weapons, armors, stats, potions, etc. We're looking for developers that could even code a GUI front-end.

CheeSQL is a MySQL Front-End with autocomplete features. The GUI is a web page (html+javascript) that requests, using ajax, query results, updates and insertions to a local java desktop application, that handles the DB communication.

Network Card-Poker game written in Java. Server interacts via console with administrator and stores login data in a MySQL database (no GUI planned for server). Client uses an open interface. Default client written in Java as an applet.

RCPUnit is an unit testing framework, an automatic GUI testing framework, and a plugin for Eclipse RCP. It runs with PDE JUnit or other unit testing frameworks. It brings you the ability to do unit testing easily in RCP applications, and SWT application.

Kanrinin will be a gui file manager like Servant Salamander(Copyright reserved) or midnight commander. It will be written in Java and therefore runnable from any Java supported operation system with an window environment.

Zonnon Compiler for java is an implementation of the grammar of zonnon for java. There are different versions developed with javacc, sablecc, gold parser .... GUI and Report tools too

ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as ant build command and as a stand alone GUI application. Its main goal is to provide a complete test suite for any given software under test.

SimpleLogViewer is Java 2 based GUI application that display logging data. Can read a file or listen over a TCP socket. Use plugins/embedded scripts to Hide, Rewrite, Colorize lines of log.

A lightweight cross platform XML editor. It has a tree viewer/editor and supports content completion, XPath, XQuery, XSLT, XML document validation etc. Many GUI features are configurable and supports multiple languages (localization).

Ein kleiner Kalender Server der eine WEB-GUI hat und XML sowie ICAL formate versendet und empfangen kann. LOGIN über HTTP und verschlüsselte Übertragung bei Socketverbindungen

Monitoring tool with support to Websites, RSS, Webservices and Databases. Has notifications by email and RSS and you can access metrics like availability, latency and load time by a web-based GUI. Runs standalone with an embedded HTTP server.