The all-in-one solution built to help you stay organised and get more bookings with thousands of connections to online travel agencies (OTAs), resellers and suppliers.
Learn More
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Protoreto is a GPL-licensed tool to create prototypes of graphical user interfaces (GUIs).
NOTE: This project is not actively maintained at the moment. If you'd like to continue developing Protoreto, please send an e-mail to: wikipedian@users.sf.net
FAST(Flowchart Abstract Syntax Tree) SDK is a development toolkit built upon Eclipse RCP and GEF to visualize the process of converting unstructured flowcharts in to structured ones.
Design and develop Recommendation and Adaptive Prediction Engines to address eCommerce opportunities. Build a portfolio of engines by creating and porting algorithms from multiple disciplines to a usable form. Try to solve NetFlix and other challenges.
Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.
IoC container for the configuration and design for experimental design
InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments.
Code and more info can be found on github:
http://github.com/feldob/InPUT