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
Infor M3 ERP
Enterprise manufacturers and distributors requiring a solution to manage and execute complex processes
Efficiently executing the complex processes of enterprise manufacturers and distributors. Infor M3 is a cloud-based, manufacturing and distribution ERP system that leverages the latest technologies to provide an exceptional user experience and powerful analytics in a multicompany, multicountry, and multisite platform. Infor M3 and related CloudSuite™ industry solutions include industry-leading functionality for the chemical, distribution, equipment, fashion, food and beverage, and industrial manufacturing industries. Staying ahead of the competition means staying agile. Our new capabilities bring improved data-driven insights and streamlined workflows to help you make informed decisions and take quick action.
Software to calc and draw astrological charts and diagrams according to the API method. It's written in python, it uses gtk/cairo, it depend on pytz, the swiss ephemeris and public geo data compiled anew.
Hide In Picture is a program that allows you to conceal files inside bitmap pictures, using a password. The pictures look like normal images, so people will not suspect there is hidden data in them.
A tool for converting video files to a format suitable for all kinds of pocket video players including, but not limited to: PDAs, PMPs, cell phones, game consoles, digital photo frames etc. Both command-line and GUI interfaces are provided.
UnForm is ideal for businesses focusing on distribution, manufacturing ERP solutions, and general accounting.
UnForm® is a platform-independent software product that creates, delivers, stores and retrieves graphically enhanced documents from ERP application printing. A complete, end-to-end document management solution, UnForm interfaces at the point of printing to produce documents in various formats for printing and electronic delivery.
Stickloader is an easy-to-use solution for copying music files from your hard disk to your usb stick and re-encoding them at lower bitrate for more efficient usage of your mp3 player's disk space.
ConnectCode Software Box Shot Maker creates realistic images of 3D boxes for your software using three image files. You can adjust the box orientation, box and camera position. Despite being opensource, the tool delivers professional results.
Graphic utility to create cd images of VCD, SVCD and CVCD to directly burn them. It takes video files (divx, xvid,...) and, in one configurable step, makes the iso image automatically. Perfect to watch your favourite videos with your home dvd player.
HPGS is an HPGL/2 interpreter, which renders HPGL/2 through a Postscript-like API. Currently, it can render to eps and png files. For rendering the scenery to pixel formats, a rendering engine has been coded, which draws vector graphics into pixel buffers
Get real-time visibility into vulnerabilities, leaked data, and threat actor activity targeting your organization.
SOCRadar Extended Threat Intelligence, a natively single platform from its inception that proactively identifies and analyzes cyber threats with contextual and actionable intelligence.
Program for extracting embedded audio data from JPEG images (written in Python). Useful if you have digital camera which can record audio notes and embed them in photos (e.g. HP, Kodak, Canon, Fujifilm, etc.)
The QT Webcam Recorder is a tool to record films from a webcam into various formats.It supports webcam preview and audio recording. Additionally the QWR is able to stream data via http. The project depends on QT, video4linux, the jack audio kit and ff
This application takes some directories or a list of files that are applied to the Windows desktop. They are changed by interval, day time, or once a session. The images are resized to the screens resolution to fit the dimensions. It uses the jdic incuba
A Blender 2.6+ addon that aims to implement Motion Graphs
...This add-on implements motion graphs as described in Motion Graphs paper by Kovar, Gleicher, and Pighin from SIGGRAPH 2002. The add-on can import set of motion captured BVH files and construct a motion graph based on some given parameters. This motion graph can be stored in memory and used until Blender is running, or can be baked to a file in a compact format so that it can be retrieved later without the need of re-computation. This motion graph can be used to generate arbitrary length motions that is composed of frames from the original motions and some generated transition frames between them.
...
Fast .NET 2D Line Graph / Scatterplot / Polar Graph
A .NET UserControl designed to display simple line-graph-style plots, X-Y scatterplots of data, or polar charts. Direct3D rendering is used for maximum performance, and hundreds of thousands of points can be graphed on typical PC hardware in real-time. The view can be panned, zoomed, and stretched using simple mouse controls.
Xiss web is a Java tool to generate photo slide show on the web. Generation of photo description in XML and HTML pages based on layout and skin. Exif display. Google Maps display. Animated photo transition. Uses W3C standards: XML, XSLT, XPATH, CSS.
This commandline Python tool will extract stereoscopic images from .MPO format files (e.g. as created by Fuji W3 camera) and either save them as separate Left /Right images or as an anaglyphic composite (suitable for viewing with coloured 3D glasses
OffscreenGecko is a library for rendering HTML etc content to offscreen buffers, sitting atop of the Mozilla Gecko rendering engine. The goal is to simplify embedding of Gecko into environments were its output is needed as pixel data, such as 3D engines.
Photo mosaics are high resolution pictures consisting of a huge number of individual images. This imaging software allows users to individually generate, modify and save photo mosaics.
The program supports a growing number of effects and algorithms to generate a unique, high quality photo mosaic with resolutions as high as 1 gigapixel.
I am more than happy for any feedback, so don't hesitate to drop me a message.
A library written in C# for encoding and decoding animated Graphics Interchange Format (GIF) images. Based on NGif http://www.codeproject.com/KB/GDI-plus/NGif.aspx. Includes sample apps for encoding and decoding GIF files.
Simple java code for demonstrating 3D Volume rendering concepts. Can render a 3D model (represented by a 3D primitive data buffer) in a Maximum Intensity projection, Minimum Intensity projection and Surface rendering mode with specified look up table for color coding.
A c# pure RRD tools impl
all RRD tools functions http://oss.oetiker.ch/rrdtool/
pure c# implement,mean than can run without extenal RRD tools
full compatible with jrobin http://jrobin.org
The project on codeplexhttp://sharprobin.codeplex.com/
MouseGestureComposer is a graphical partition editor for visual artists and musicians. Basic elements are mouse movements, placed on a timeline segmented in measures, similar to classical music. Uses processing.org. Developed by numediart.org. A video tutorial is available here: http://vimeo.com/33442844
Main developper: François Zajéga - http://www.frankiezafe.org