Falcony is an involvement platform built to engage all employees to conduct audits, inspections and checks, report any incidents or other deviations, and make sure that corrective actions are taken. The platform is used by over 200,000 end-users in 80+ countries totalling over 5 million reported observations and more than 1 million conducted inspections. It is browser based and works on all devices (smart phone, tablet, pc) to enable end-users to report on the go and continue the work on
Calenso is the online enterprise scheduling solution that helps companies in consulting-intensive industries organize appointments efficiently and securely. With a focus on data protection and branding, Calenso adapts individually to your company's needs, offering features such as: - Easy and efficient online scheduling - Automated reminder messages - Fully customizable booking widget - Real-time calendar synchronization - Branch & employee management - Online video consultation - Integrati
Mapped is the only AI-powered platform that covers the complete systematic review workflow — from research question to published manuscript — without switching tools. What it covers: • Research idea validation & PICOS framework (8-stage scoring, 120 points) • Literature search across 10+ databases simultaneously with AI-generated queries • Title/abstract and full-text screening with dual-reviewer workflows • Data extraction with AI assistance • Risk of bias assessment (RoB 2.0, ROBINS-I, NO
Static code analysis tool that helps you write better code.
Code Llama has the potential to make workflows faster and more efficient for current developers and lower the barrier to entry for people who are learning to code. Code Llama has the potential to be used as a productivity and educational tool to help programmers write more robust, well-documented software.
Omnext helps both managers and software developers gain insight in their applications technical quality and risks.
Metabob is an AI-assisted tool used to debug and visualize Python code. Using a combination of conventional status analysis, attention-based models, and a 360-degree Visualizer, Metabob is able to detect where problems are, how they interact with other aspects of your codebase, as well as offer plain-text recommendations on how to fix them. Metabob’s model is written on open source code from python developers across the globe, creating a dynamic, uniquely intuitive base to help identify where pr
Supermaven is an AI-powered code completion tool designed to enhance developer productivity by providing fast, high-quality code suggestions. It integrates seamlessly with popular code editors such as VS Code, JetBrains IDEs, and Neovim, enabling developers to write code more efficiently.
LogicStar AI is a pioneering company dedicated to transforming software development and maintenance through advanced artificial intelligence. Their flagship product is an autonomous AI agent designed to seamlessly integrate into existing engineering workflows, autonomously reproducing and resolving software bugs with precision. This innovation allows developers to focus on creativity and innovation, while the AI handles the complexities of application maintenance.
Semgrep Supply Chain is a software composition analysis (SCA) tool designed to identify and remediate security vulnerabilities introduced by open-source dependencies within your codebase. By leveraging high-signal rules and reachability analysis, it effectively filters out false positives, allowing development teams to focus on the most critical and actionable issues.
Code Metal is an AI-powered development platform that streamlines the process of translating high-level research code into optimized, edge-ready software. By automating complex development tasks, Code Metal enables developers to efficiently deploy applications across diverse hardware environments, significantly reducing development time and costs.
Sider Scan is a duplicate code detection tool for software developers that finds and continuously monitors problems with code duplication. It can enhance long term code quality and maintenance processes with an in-depth duplicate code analysis which would be difficult to do in other means. Sider Scan is designed to complement other analysis tools, and help teams building complex software to produce cleaner code, and supporting continuous delivery.
The TrustInSoft Analyzer is an advanced static source code analyzer that performs comprehensive mathematical analyses of software to find and resolve source code flaws. Our technology detects all vulnerabilities and is the only software that can mathematically guarantee source code quality.
CodePorting is a comprehensive service designed to facilitate the automatic translation of source code between programming languages, enabling developers to extend their products across multiple platforms with minimal manual effort. By leveraging advanced translation technologies, CodePorting ensures accurate and efficient conversion of codebases, allowing for seamless adaptation to different programming environments. Key Features and Functionality: - C# to C++ Translation: Effortlessly conver
The MES Model Examiner® (MXAM) is a comprehensive static analysis tool designed to enhance the quality and safety of model-based software development. It evaluates Simulink®, Stateflow®, and TargetLink® models against established modeling guidelines and industry standards, ensuring compliance and improving overall model integrity. Key Features and Functionality: - Static Testing: Conducts thorough analyses of model structures and metrics to identify potential issues early in the development pr
__debugbreak() Checker is a software tool that scans source code looking for calls to __debugbreak() that are not conditionally compiled and that are not conditionally executed. This allows you to easily check for calls like this that should not enter production.
RIPS is a tool written in PHP to find vulnerabilities in PHP applications using static code analysis.