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
MaintainX is the world-leading mobile-first workflow management platform for industrial and frontline workers.
Trusted by Operational Leaders Across the Globe
Your day-to-day maintenance tasks, simplified. MaintainX eliminates the paperwork, so you can spend less time on your clipboard and more time getting things done.
Networking and sockets in scripting languages is difficult and often overcomplicated! Monasic is a server daemon (service) which does all the low level work to create a simple message-based environment, allowing easy access to networking via scripts.
The main purpose of the Moonlight Engine is to be a general 2D game engine geared towards tile-based games, and RPGs specifically. Support for online games is also planned.
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...
NiL is a modular multi-purpose gaming engine including a multiplayer worm game a little like quake, except it's 2d and a little like worms except it's realtime.