Search Results for "jd-gui" - Page 57

...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 it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...

wxGraphicControls is a small GUI library built on top of wxWidgets. It contains many customizable controls like wxGraphicButton, wxGraphicMenu, wxGraphicTrackBar, wxGraphicRotatingButton, etc. Almost every control is built out of specified images. You are able to specifiy corresponding images which are shown in the specific state of the control. - supports completly transparent looking controls - loadable through wxWidgets-XRC-System See screenshot for more information!

It's a brainfuck interpreter written in Python (In the future will be also a compiler for x86 and have a GUI).

The Free Pascal Programmer Library is a comprehensive collection of components for use with the free pascal compiler, making use fpc 2.2's new generics capabilities. Includes collections, iterators, XML parsers, and a GUI library.

Java utilities library for printing, GUI and database operations.

Aptness tries to expose an easy-to-use interface on top of the APT-RPM libraries, the focus being on simplicity rather than completeness. It is meant to facilitate the development of GUI applications and other user-level tools on top of APT.

JSwingWidget is a library designed for the quick and easy creation of many standard GUI components, using swing.

This is a Java Swing wizard dialog framework based on Robert Eckstein's article and source code at http://java.sun.com/developer/technicalArticles/GUI/swing/wizard/. The Wizard is allowed to have multiple paths to the finish button,

Some bash scripts to download and build (cross compile with e.g. ELDK) a working GUI framework for embedded linux systems. Possible combinations are: - GTK+-DirectFB - GTK+-KDrive (XServer) - LiTE (DirectFB) - wxWidgets-KDrive (XServer)

Maven(2) Release Maker is a small web application that acts as a GUI for the maven-release-plugin.

MadButterfly is a SVG based GUI framework. Application programmers can describe user interface for their application in SVG. It is supposed to be frontend of small/embedded device, or be used to develop small games.

Baum is a Qt based GUI application framework with a built in python interpreter. Baum allows rapid creation of GUI's with simple python scripts. Programmers can re-use available python and widget library.

AntiPython Colab is a source to source compiler that let's you build AI in Java, Rust, JavaScript, Flutter, C#, Go, Ocaml(and etc...) utilizing free Google Colab GPUs! It's blazingly fast and very robust as it uses websockets and the Treesitter C library under the hood.

The Free Pascal GFX Library is a framework to quickly develop cross-platform GUI software. It is light weight, and connects directly to the underlying system, allowing for the creation of small and fast graphical applications.

A set of platform independent utility and wrapperclasses in C++. This library contains amongst others a regex engine, hashtable and vectorclass, and a randomgenerator. SDLwrapperclasses for fonts and images, GUI, server and client and a httpclient.

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.

InnoPHP is a PHP 5 modular web applications platform, aimed at managing many applications and sites from the same installation. It sports a Web application server, an AJAX Web based gui framework, a portal server and many other modules. It has been incorporated inside Innomatic Platform; development and files have been moved here: https://github.com/innomatic/innomatic

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.

Leilany is a framework to build GUI applications with Python and GTK, using de MVC pattern design. Interested in build the gadgets for invoicing and the necessary requirements. The main goal is make applications with low memory.

这是一个跨平台的库，包含GUI等 The X Component Library is a cross-platform class library as borland's Visual Component Library. 论坛(Forum)：http://sourceforge.net/userapps/phpbb/hemiya/

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.

FlexiSense is a free GUI library, for the creation of user interfaces for games or other applications. The library is object orientated, written in C++, cross-platform and free renderer, provides transition and motion effects. Is support themes.

AIRY.Forms is an effort to create "Windows forms" wery alike user interface (GUI) and component framework with pure "unmanaged" C++ and STL, so able to be easily ported to other platforms (DirectX version is on the go).