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
Free Website Monitoring Service | UptimeRobot
The free online uptime monitoring service with an App is available for iOS and Android.
With the Free Plan, you can monitor up to 50 URLs, check for a website's content (using the keyword monitor), ping your server or monitor your ports in 5-minute intervals. You can create a status page to showcase your uptime. SMS or Call alerts can be bought anytime.
SLEDRIDE: Simplified Learning about Expression Data Running in a Desktop Environment. To provide a general workbench for pipe-lining microarray gene expression data from supervised learning results into unsupervised learning methods.
SalesTarget.ai | AI-Powered Lead Generation, Email Outreach, and CRM
SalesTarget.ai streamlines your sales process, providing everything you need to find high- quality leads, automate outreach, and close deals faster
SalesTarget is ideal for B2B sales teams, startup founders, and marketing professionals looking to streamline lead generation and outreach. It also benefits growing SaaS companies and agencies aiming to scale their outbound efforts efficiently.
OntoModel is a UML-based editor that works with OWL ontologies. The usage of the UML extension mechanism makes it possible to develope and maintain OWL ontologies with MDA technologies. Implemented as NeOn Toolkit (http://www.neon-toolkit.org) plugin.
A eclipse plugin for the history of a single file. The history is fetched from the repository and visualized based on annotations. The color describes the authorship or the changes and can be changed. It comes with a powerful metric extension point.
TNV visualizes pcap data to graphically depict network packets, links, and ports for network traffic analysis to facilitate learning what constitutes 'normal' behavior, investigating security events, or network troubleshooting.
SLFCFD stands for San Le's Free Computational Fluid Dynamics. It is a package
of scientific software and graphical user interfaces for use in computational
fluid dynamics. It is written in ANSI C and distributed under the terms
of the GNU license.
Planfix: Manage Projects, Team's Tasks and Business Processes
All-in-One Enterprise-Level Software is Now Available for SMB
Planfix is like a souped-up business process management system for folks who really know their stuff. It's built to help you dive deeper and gives you more options than your run-of-the-mill project and task management systems. Best part? Even small businesses and non-profits can get in on the action.
A colorized interactive dotplot program designed for pair-wise comparisons of RNA & DNA. The original idea was from the mind of late Prof. William J. Dreyer of Caltech. The idea is to be able to see the "tapestry" of life, which comes alive with color.
There are well known drawbacks of Microsoft PowerPoint, one of them being that it is a tool for reassuring the presenter instead of enlightening the audience. Gorku Presentation Tool enables you to create annotations (analogous to a slide) and add spatia
This open-source project aims at creation of a OpenGL 3D stereoscopic algorithms folded as plug-ins into popular 3D modeling and game engine tools, such as Maya, Blender, OGRE, and others.
JAVA based tool for easy and realtime monitoring (RTM) of data streams or groups of data streams. This tool makes it easy to monitor inherent distributed or multi-threaded applications like e.g. agent systems, financial data, logistics, RFID Systems
A Mac OS X framework implemented in Objective-C 2.0 that reads and parses ASCII DXF files. The framework returns an array of custom entity objects that can be used as needed by the program implementing this library.
GUIH (Graphics User Interface in Header files) is a simple, light-weight,
and cross-platform visualization library for images and 2D/3D OpenGL graphics,
implemented entirely in C++ header files.
HCI for audiovisual live performance exploiting physical computing.
Transform your standard musical instrument - electric bass, guitar, violin, piano etc - in an augmented tool, an audiovideo controller without exploiting any specific ext. hardware.
IMGH (IMaGe library in C++ Header files) is a simple, light-weight, and
cross-platform image processing library, that supports simple
editing and drawing, multiple pixel formats (pointers and float).
Designed for developers and researchers.
Frtplot is a program for plotting your numeric data (such as output from simulations, or sensors) in real time. It can read data of a configured (text) format from the standard input, and display all changes immediately.
UGL is Java to OpenGL adapter library: designed to be used in scientific applications; works on wide range of host systems: Windows, Linux, Solaris, AIX, IRIX, HP-UX and Mac OS X; supports Java from 1.1.8 to 1.6