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
Wiz: #1 Cloud Security Software for Modern Cloud Protection
Protect Everything You Build and Run in the Cloud
Use the Wiz Cloud Security Platform to build faster in the cloud, enabling security, dev and devops to work together in a self-service model built for the scale and speed of your cloud development.
An application that shows a preview of a HGE file format.
Project aim is development and debugging of HGE-Builder and Hulixerian Game Engine.
It use OpenGL as its primary Render Engine (have plan to include DirectX11 in future).
It use C++11, GLFW and GLEW (for Linux and Mac OS version), LibPNG for texture importing, and Zlib for compressing library.
It is developed by bing completely cross platform in mind.
Portable to ANDROID.
An application that create a scene in HGE file format.
An application that create a scene in HGE file format that can be used for Hulixerian Game Engine.
HGE file format is a compatible file format for 3D rendering application, it is mostly compatible with OpenGL.
This project use Qt5 framework for all of its tasks, and will not make any dependency on other external libraries.
WARNING: This project is not stable and is under big changes in its every push.
A world editor for HGE game engine written in python and uses OpenGL.
It uses most update packages and technologies for example OpenGL 4, pyhton3.3 and etc.
Project focus is on simplicity, efficiency, performance, flexibility.
This project aimed for Linux environment and more specifically Gnome shell.
Its most development is in Fedora 20.
Chrome Enterprise brings enterprise controls and easy integrations to the browser users already know and love.
Chrome Enterprise is ideal for businesses of all sizes, IT professionals, and organizations looking for a secure, scalable, and easily managed browser solution that supports remote work, data protection, and streamlined enterprise operations.
This Sprite Game Framework Engine is a collection of extremely useful source code files that you can use to make a professional game rapidly and easily.
It also contains extension feature, function for HGE.
Create engaging surveys on your tablet or computer with ease.
Choose any of our carefully designed themes, or easily customize colors, fonts, and more to reflect your brand's true look and feel.
Create great-looking surveys, forms, polls, voting, questionnaires, NPS, customer satisfaction, customer experience, employee satisfaction surveys... on your computer or tablet, customize the look of your survey however you like, & display collected data with eye-catching and insightful graphics.
Dark Matter is an arcade style, multi-player space game, programmed in C/C++. It will feature support for 2-4 players. Dark Matter, is being developed using the Haff Game Engine (HGE) which provides 2D capabilities in 3D via DirectX.
It use SDL in Linux and HGE in Windows for graphics platform, and use Lua for action script.it's easy to make a simple game and externable for more functions.
EGE game engine aims to be a simple, easy to use, yet powerful game engine. It also aims to run on multiple platforms and to accomplish this, EGE will use OpenGL and SDL as backends. EGE is heavily influenced by HGE(hge.relishgames.com).
Fast and convenient development of high-quality small 2D games without knowing much about technology. This is the motto. HGE includes HAL (hardware abstraction layer), helper classes (fonts, particle systems, resource manager etc.) and authoring tools.