Turn traffic into pipeline and prospects into customers
For account executives and sales engineers looking for a solution to manage their insights and sales data
Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
Learn More
The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
A Multi-Platform java program that takes equations and finds multiple different things about them, such as derivatives, anti-derivatives, area between two equations, volume between two equations, as well as other algebra expressions.
Provides efficient, effective implementations of 32- and 64-bit hash functions based on Rabin fingerprints / irreducible polynomials, in Java. Also provides integration with java.security.MessageDigest API.
TM4 is a suite of applications for managing and analyzing microarray data. TM4 provides data storage and tracking, image analysis, normalization, data filtering, clustering and statistical analysis capabilities. Includes MADAM, Spotfinder, MIDAS, and MeV.
Our new software release will dramatically improve your medspa business performance while enhancing the customer experience
AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
Interval Analysis is a collection of interval analysis tools, allowing for robust root-finding and tracking of bounds of numerical error due to uncertain inputs and floating-point error.
RISO: distributed, heterogeneous Bayesian belief networks. Belief network: a probability model defined on an acyclic directed graph; distributed: nodes can be on different hosts; and heterogeneous: allowing different types of conditional distributions.
FractalJ is an application designed to be an education tool for teaching fractals and chaotic dynamical systems. Fractals, complete bifurcation diagrams, orbit diagrams, iterated function systems as well as the Mandelbrot and Julia sets are provided.
"Probabilistic Factorisation of Large Integers"
Lima is a platform-independent software tool, written in Java, for factorising arbitrary integers using probabilistic algorithms and distributed computing methods.
Demetrix is a Java-based process modelling system. The goal of the project is to develop a flexible framework for managing complex process models using Petri-Net-oriented methodologies (state-task networks and resource-task networks).
Empower your field service with mobility and reliability
Resco’s mobile solution streamlines your field service operations with offline work, fast data sync, and powerful tools for frontline workers, all natively integrated into Dynamics 365 and Salesforce.
MMOpenGraph is a set of JAVA-Classes to represent graphs within java. It can load and save graphs to serialized or text-based files and analyze graphs to find shortest paths.
Java-based extensible high-precision math package. Includes support for computations based on fractions. Support is included for converting to floating point numbers and BigDecimals.
MODVLO7 provides an environment for exploring harmonic prolongations in any piece of tonal music. It imports Scala files, and saves Scala files for future changes or study, and for rendering MIDI files in just intonation using Scala.
JGV is a Java applet that lets you embed movable 3D objects in web pages. Users can rotate, scale, translate, select and annotate the objects interactively. Also, JGV supports XML-based transmission of user events to the source web server over HTTP.
Computational modelling is a interdisciplinary field spanning many techniques and programming languages. AgenTools is a project dedicated to establishing increased modularity in scientific computing packages and a portal linking to other existing project
Dancing Networks attempts to create self-drawing diagrams by applying the laws of motion as we know them today. The process of the diagrams drawing themselves looks like a network that starts its dance in chaos but gravitates toward harmony and order.
Distributed Java Fractal Generator. DJFractals can computes fractals in
arbitrary precision using any CPU available from high performance multi-processors clusters of computers to grid of JavaCards and even at the same time.
Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.
JQuantity is a set of Java classes which enable developers to build scientific applications using quantities which are either exact or have known (bounded) errors. Quantities may include units, may be complex, non-scalar, etc. Extends java.math classes
Java Math Library (JML) is a fairly robust mathematics library that can be used for anything from basic calculations to some more advanced mathematical functions.
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
Project VDW serves as a repository for all things pertaining to Van Der Waerden sequences. Volunteers to run the distributed client, mathematicians to help with theory, and anyone interested in VDW sequences are welcome!
Library made with the quantity/formatter pattern. (Currency/CurrencyFormat, Density/DensityFormat, Dimension/DimensionFormat, Distance/DistanceFormat, ElapsedTime/ElapsedTimeFormat, Temperature/TemperatureFormat, Volume/VolumeFormat, Weight/WeightFormat)