Headscale
Headscale is an open-source, self-hosted implementation of the control server used by the Tailscale network, enabling users to keep full ownership of their private tailnets while using Tailscale clients. It supports registering users and nodes, issuing pre-authentication keys, advertising subnet-routes and exit-node capabilities, enforcing access-control lists, and integrating with OIDC/SAML identity providers for user authentication. The server is deployable via Debian/Ubuntu packages or standalone binaries, configurable through a YAML file, and managed via its CLI or REST API. Headscale tracks each node, route, and user in its database, supports route approval workflows, and enables features such as subnet routing, exit node designation, and node-to-node mesh within the tailnet. Being self-hosted, it gives organizations and hobbyists full control over their private network endpoints, encryption keys, and traffic flows, rather than depending on a commercial control plane.
Learn more
TimeMachine
The TimeMachine debugging suite extends the range of Green Hills Software’s popular MULTI integrated development environment (IDE) by providing a window into the complex interactions in software that can result in bugs, performance problems, and testing nightmares. By presenting this information in easy-to-understand displays, TimeMachine enables developers to quickly navigate through trace data and produce better code in less time. With TimeMachine you can debug both forward and backward in time, making it easier to find even the hardest time. Make your software run faster than you thought possible by examining program execution history to find previously unknown bottlenecks. Accelerate debugging by stepping backward a single step at a time into functions you've already stepped over. Leverage gigabytes of execution history to verify that your program has been fully tested.
Learn more
Ansys SCADE Architect
Ansys SCADE Architect has been specifically developed for system engineers. It provides full support of industrial systems engineering processes, such as ARP 4754A, ISO 26262 and EN 50126. SCADE Architect features functional and architectural system modeling and verification in a SysML-based environment. Ansys SCADE Architect has been specifically developed for system engineers; the underlying SysML™ technology is hidden, making modeling more user-friendly and intuitive. Ansys tools support software development aligned to the FACE Technical Standard at both the model and generated code levels, providing users with an easy workflow that passes the FACE Conformance Test Suite (CTS), a necessary test process included in the FACE Technical Standard.
Learn more
WedoLow
WedoLow is a deep-tech optimization platform for embedded and hosted C/C++ applications, designed to push software performance and efficiency even on constrained hardware. WedoLow analyses source code, identifies performance bottlenecks (CPU load, memory footprint, energy use), and automatically applies algorithmic and architectural optimizations tailored to the target hardware. The core of the offering, the beLow suite, integrates seamlessly with common build systems, so it fits into existing workflows. Once analysis is complete, beLow provides a detailed diagnostic report, classifies optimization opportunities (bit-exact, permissive, or lossy depending on output-value tolerance), and helps teams choose appropriate strategies based on constraints and trade-offs. WedoLow also supports AI-assisted code generation and optimization via its WedoLow MCP Server.
Learn more