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
The Industry Leading Platform for eCommerce Enablement and Analytics
With MikMak Insights, brands gain real-time eCommerce analytics on the channels, campaigns, creative, and audiences that drive conversions.
MikMak’s Where to Buy Shoppable Solutions help multichannel brands drive sales, grow market share, and increase profitability while reducing costs across categories such as CPG, Grocery, Alcohol, Beauty, Personal Care, Pet Care, Home Care, Consumer Electronics, Home Appliances, Toys, and more.
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.
A fast JPEG2000 encoder running on CUDA-capable GPUs. Supports lossless and lossy encoding. Both commandline tool with GUI and CUDA/C++ library. Visit >> http://cuj2k.sourceforge.net << for further information.
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.
Ve3D is a VRML/Open Inventor model viewer. It's an scene composition program since it has tools to manipulate and hide models. It supports active stereo display.
Video Squirrel is a cross-platform wxWindows video file cataloger. Designed to gather infomation on the actual video files, ex compression used, bitrate, video pixel size and so on.
MedosW is a media open source wrapper build on top of gstreamer. Provides: Playback functionality for mp3 and ogg files and their metadata extraction. Future version will support multiple of enhancements.
Energy-, mass- or money-flows are described with simular balances. Usually many upsetting tables are used to calculate the balance. The Software Flow visualizes the data in a grafic, zoomable and animated way.
AlViz is a research prototype for visual ontology alignment implemented as multiple-view plug-in for Protege using J-Trees and Graphs. Based on similarity measures of an ontology matching algorithm AlViz helps to assess and optimize the alignment results
powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.
Simple C-based application for converting OBJ files from modelling software like Maya and Blender into a C file that can be used with OpenGL, thus making it easier to create better models for OpenGL applications.
Scale images in JPG, PNG or GIF format and generate bbCode. It's purpose is to use your webspace as storage for your images to publish them in forums quick and easy.
This project seeks to provide a way to simplify conversion between SVG graphics and the Javascript code that is necessary to recreate a similar graphic using the Dojo Toolkit's dojox.gfx library.
A convenient java-based web interface to organize photographs. A database hosts the *meta-data* of the pictures (video are supported as well) like Album, Descriptions and Tags. Tags provide an easy way to select photo according to what they picture.
MOVED TO https://github.com/wazari972/WebAlbums-3
tkBacktracer is a cross-platform interactive visualization tool to explore the tool motions in RS-274D "G-code" CNC files used in computer controlled milling and manufacturing.
EN : Visualization of non-convex polyhedra and pattern generating for paper building.
FR : Visualisation de polyèdres non-convexes et génération de patrons pour une construction papier.