Enterprise-grade platform designed to connect strategy, planning, and execution across digital product development and software delivery
Planview links your technology vision directly to teams' daily work, providing complete visibility and control over your digital product delivery ecosystem.
Learn More
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.
A simple bot used for monitoring recent changes on small Wikipedia projects and reporting them to freenode channel(s). The bot has the core features that one would expect. Details available at http://meta.wikimedia.org/wiki/User:EhJJ/RCBot
Happy Fun Bot is a fully modular IRC bot. This consists of a basic engine, providing networking code and event handling, and a core module which provides some basic bot functionality. All other functionality will be provided by third-party modules.
Oak is a flexible IRC bot written in Java. Core components are a reusable IRC framework, a login system, and a plugin manager. Bot functionality will be implemented as plugins, which are loaded on startup or at runtime.