Marketing automation for any business | ActiveCampaign
Your team of AI agents handles email, SMS, WhatsApp and more for you
Active Intelligence revolutionizes how you work. You guide direction while AI handles execution, acts on insights, and shows you the path forward. It's how marketing should be.
Learn More
Evertune | Improve Your Brand's Visibility in AI Search
For enterprise marketing teams looking for a platform to understand and influence how AI models like ChatGPT recommend their products or services.
Evertune is the Generative Engine Optimization (GEO) platform that helps brands improve visibility in AI search across ChatGPT, AI Overview, Gemini, Claude and more.
jppa is a pointer and purity analysis tool for Javaprograms. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
JTombstone is a program for finding dead code in your Javaprograms. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.