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
Remotely access and manage devices to provide on-demand IT support.
Be Efficient Support Remotely
ISL Light is an easy-to-use remote desktop software for security-conscious users. It comes at a great price-performance. ISL Light is a powerful tool that helps IT staff and support technicians solve problems remotely, either through unattended access, remote support or even though screen-sharing on mobile devices. It works cross-platform and offers 256-bit encrypted sessions with all standard remote access features plus some important extras: session recording, live chat, videocall, multi-monitor support, file transfer, reporting and many more. Users can choose between cloud or on-premise service. ISL Online license does not limit the number of users, workstations and clients you support. It's a reliable and highly secure software used in all industry sectors including banks, hospitals, governmental institutions and insurances.
PyPotrace is a Python programming language binding for Peter Selinger's Potrace raster to vector conversion algorithm. No separate Potrace library or application required!
FOW is a simple to use photo-album generating tool. One can add their own style sheets. The supplied style sheets should give an idea of what could be done.
The goal of this project is to develop a generic and powerful 3D simulation framework mainly but not exclusively targeted at game development. Important aspects are efficency and simplicity of use.
AI Powered Global HCM for the Evolving World of Work
For Start-ups, SME's, Large Enterprise
Darwinbox is a new-age & disruptive mobile-first, cloud-based HRMS platform built for the large enterprises to attract, engage and nurture their most critical resource - talent. It is an end-to-end integrated HR system that aids in streamlining activities across the employee lifecycle (Hire to Retire). Our powerful enterprise product features are built with a clear focus on intuitiveness and scalability, with standards of best in class consumer apps. Darwinbox’s motto is to engage, empower, and inspire employees on one side in addition to automating and simplifying all HR processes for the enterprise on the other. Over 350+ leading enterprises with 850k users manage their entire employee lifecycle on this unified platform.
MvpdMake is a GUI wrapper around mplayer, mencoder, sox, and mv_encoder to convert video files to the MoviePod (.mvpd) video format to be played by mv_player under iPodLinux on your iPod Nano, iPod Mini or iPod Photo.
PSPy is a content manager for the Sony PSP. You will have acces to your homebrews, games backup, savegames, videos and music. Written in Python for Unix systems, using Glade/pyGTK, under the GPL license.
rtusd is a foundation set of real time enabled User Space Devices/Drivers designed to link to HRT high resolution Timer controlled POSIX threads and link re-factored Linux hdw drivers for 2.6.18+. rtusd propogates Linux RT to user space generically.
Music player written in python using code in parts developed for Lsongs Music player. The player will allow user to listen and organize their media content and will be extendable through modules.
P-gal is a program that generates gallery of images for the web. It generates static HTML. It has a powerful support for templates that allows to customize pages genearted as much as you want. It can generate thumbnails of with user chosen size.
For developers in need of a tool to launch pricing plans faster and build better buying experiences
A monetization platform is a standalone middleware that sits between your application and your business applications, as part of the modern enterprise billing stack. Stigg unifies all the APIs and abstractions billing and platform engineers had to build and maintain in-house otherwise. Acting as your centralized source of truth, with a highly scalable and flexible entitlements management, rolling out any pricing and packaging change is now a self-service, risk-free, exercise.
g2 is an easy to use, portable and powerful 2D graphics library. It provides a comprehensive set of functions for simultaneous generation of graphical output on different types of devices.
Sequential image viewer intented for reading manga and comics. You can drag and drop folders, images and arhives in it and it can read images from within nested archives (.zip inside .rar).
This project aims at writing a threaded, object-oriented and scriptable game engine targetting the .NET platform, using a mixture of c# or managed c++ ports of famous c/c++ components such as OGRE, CEGUI, Newton, Lua, Python, Audiere, OpenAL, etc...
Surge is the name of an advanced game engine--includes graphics, sound, physics, scripting, networking, and more. Surge is also the name for the first game for this engine, which will be based on a replacement until the Surge Engine becomes viable.
Diet Python is a flavor of Python w/ allegro, multiarray, umath, calldll, npstruct and curses builtin, all else nonessential to language ripped out. Size < 3MB, 1% of PSF Python w/ full graphics development suite. Diet Python helps keep clients thin :)
Nusq is a cross-platform modular music sequencer, intended to be sufficiently expandable, flexible and configurable for the technically-minded musician while still being accessible to the rest of us.
A set of libraries, written in C/C++, to perform multimedia operations on Windows systems. These libraries are especially suited for performing psychophysical experiments on human and animal vision.
pyIH8id3 is a fully graphical pyGTK script that removes id3 tags from mp3 files in a provided directory. The script supports both id3v1 and id3v2 tags. pyIH8id3 is a simple, fast solution to removing thousands of tags at once. pyIH8id3 requires id3lib.
Dave's Stupid Alarm Clock is a pyQt-based alarm clock for those of us with insomnia problems. It supports multiple alarms, snooze, mp3 playback, and so forth.
Voxampp is an Enterprise IP TriplePlay Application Stack (eIPTAS) a - run-time toolkit - for Internet Entrepreneurs that want to deploy rich IP Carrier Networks. Its goal, to facilitate worldwide Open Access Social Networks using IPTV, VoIP and much more