Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
The most advanced C and C++ source code analyzer
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.
OpenAvionics is a hardware/software projet to design low cost instrumentation (air/attitude, navigation, voice, engine) for light and ultra light aircrafts. The display part of the project may be used in aircraft simulation projects.
In light of Windows 8 developments and the attitude attached to it, I have decided to create a barebone replacement of a Start Menu, redesigning features in the process, with the aim of increasing speed, functionality, looks and maximizing customization potential.
This is the low-level and operational software project for the Distributed Spacecraft Attitude Control System Simulator (DSACSS). Higher-level simulation tools are in the Open-SESSAME project (keyword: spacecraft).
For security operations, threat-intelligence and risk teams wanting a tool to get access to auto-monitored assets exposed to attack surfaces
Criminal IP’s Attack Surface Management (ASM) is a threat-intelligence–driven platform that continuously discovers, inventories, and monitors every internet-connected asset associated with an organization, including shadow and forgotten resources, so teams see their true external footprint from an attacker’s perspective. The solution combines automated asset discovery with OSINT techniques, AI enrichment and advanced threat intelligence to surface exposed hosts, domains, cloud services, IoT endpoints and other Internet-facing vectors, capture evidence (screenshots and metadata), and correlate findings to known exploitability and attacker tradecraft. ASM prioritizes exposures by business context and risk, highlights vulnerable components and misconfigurations, and provides real-time alerts and dashboards to speed investigation and remediation.
Zat is a portable, table driven, single pass cross-assembler written in C++. The mission is to create a fast and flexible toolchain which would meet all ZX Spectrum (and other) cross-developers' needs.
Library of common code modules used troughout my projects.
Similar to glib but with different attitude. While I plan to make it as portable, clean, etc. as possible the only thing keeps this code together is that it is as good/bad as I like it to be.
autopilot is a command and control system for helicopters (and can be extended for fixed wing aircraft). It provides a three-axis EFIS and moving map on the ground station. The unmanned aerial robot has instrumentation for attitude, engine and position.