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.
Learn More
Monitor production, track downtime and improve OEE.
For manufacturing companies interested in OEE monitoring solutions
Evocon is a visual and user-friendly OEE software that helps manufacturing companies improve productivity and remove waste as they become better.
CZ Bind Maker is a custom buy script and configuration editor for Counter-Strike 1.6, Condition Zero and Counter-Strike: Source. It provides point and click, buy scripting and configuration editing capabilities.
A simple Eclipse plugin to check C/C++ Files for correct syntax. It is intended as an addition - not replacement - for the CDT project. It offers improved marking of errors and warnings. Update-Site is: http://www.jaylib.org/eclipse/plugins/CppChecke
Pavonis is visual editor for Nullsoft Scriptable Install System (NSIS) script files. It includes visual designer of custom pages, which supports nsDialogs. Allows to easy organize functions, sections and pages included in script.
This Windows application supports compilation of FX effect files and HLSL shader files using fxc command line compiler included in DirectX SDK. You can compile many files at time or one file with different settings.
No-Nonsense Code-to-Cloud Security for Devs | Aikido
Connect your GitHub, GitLab, Bitbucket or Azure DevOps account to start scanning your repos for free.
Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.
xmltask provides the facility for automatically editing XML files as part of an Ant build. Unlike the standard filter task provided with Ant, it is XML-sensitive, but doesn't require you to define XSLTs.
Portable makefile generator. Generates project files for MSVC, XCode, Carbide, Eclipse, GNU make and more with support for C/C++/Obj-C files, assembly files, C# projects and Android projects.
The ANTILibs are light-weight PHP classes meant to aid in the quick development and deployment of small to large web applications. Using a smart API, the ANTILibs make saving, updating and displaying data in your web application simple and efficient.
CpX is an XML-based lightweight C++ development environment.It’s a philosophy of simple OO software engineering, with a C++ subset & base classes.It has general-purpose useful C++ services & tasks to speed up build.Tired? A Sudoku game is given in CpX as a bonus.
Searching for a better way to ship ecommerce? We can help
ShipHero gives you the tools that give you ecommerce fulfillment super powers.
ShipHero is built for multi-channel commerce. With a few clicks, you can connect your stores. ShipHero will download new products, as well as sync existing ones. When changes are made to your inventory all connected stores will be updated.
Prebuild is a cross-platform XML-driven pre-build tool which allows developers to easily generate project files for major IDE's and .NET development tools including: Visual Studio .NET 2002, 2003, 2005, SharpDevelop, MonoDevelop, NAnt and Autotools.
...It takes table definitions in a relatively high-level language and prepares C, C++, PHP, Perl (etc) functions for manipulating the database. It will also produce SQL table data for MySQL.
Generic ant build script that create jars from a single eclipse project or whole project structures. Nothing has to be configured, everything (dependencies to projects or jars) are read from eclipse's .classpath files. Integrates into Hudson CI
DB Object builder is a simple tool which can generate a lot of Java source file for you.
Each Java source file map to a table in your database. It is like Hibernate, but it is smaller than it and do not use any complex XML configuration files.
Antlion helps Apache Ant build files manage external libraries, and the paths and filesets that are associated with those libraries. This also includes inter-project relationships for multi-build file projects.
A java utility that merges jars together to form a single unified jar. Supports complex merge scenarios, including merging OSGi manifest files for example. Extensible and configurable. Intended for java developers.
Jymini is a JavaScript minifier and obfuscator. While there are several of these out there, I couldn't find one that did exactly what I needed. This program is very flexible and has features that others don't.
This multilanguage version of GJar (https://gjar.dev.java.net/) is a simple GUI tool to help developer to create JAR files. Since version 1.0.3 it can unpack jar files to join them into one. See internal help (Menu -> ? ->Help) for more details.
The aim of ant4eclipse is to avoid redundancy between Eclipse and Ant configurations. Its tasks can read Eclipse' configuration files, such as .classpath or .psf. Changes of Eclipse configurations are immediately visible to buildfiles without changes.
Source code has been migrated to Github:
https://github.com/ecdpalma/piccbuilder
The PicCBuilder is an Eclipse plugin for allowing the use of Eclipse CDT as the editor and builder of projects for Microchip PIC microcontrollers. It creates makefiles that involke the C30 or C32 toolchain to generate the binary files.
Finds Text in Delphi *.Pas files e.g. : button1.caption:='Hello'
Replaces Text with a function call button1.caption:=TXT(0) {##Hello##}
Generates a function „TXT“ with a String List with all found Texts at the beginning of your source.