Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Get Started Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Set of Ant filters that can be used to gather statistics from files or resources. It is mainly used for log files analysis. It allows to: - count inputs - count occurrences of each input - calculate average, max and min values of floats in input
A web-based repository for UIMA-compliant information analysis components, with a web-based interface for humans and a plugin interface for IDEs. More information is available at this project's website.
New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Signs is a development environment for hardware designs in VHDL and other hardware description languages. It provides synthesis and simulation tools which are fully integrated in an Eclipse plugin including graphical netlist and waveform viewers.
The Statistics Online Computational Resource (SOCR) provides online aids for probability and statistics education, technology based instruction and statistical computing, including applets, computational and graphing tools and educational materials.
IntiMap is a convenience tool to run the MS-DOS command-line tool MapPop for selective genotyping. It adds facilities to prepare genotyping data files, manage genotype sets and visualize mapping results (genetic marker maps).
Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.
TopicMapTools allows the creation, manipulation and visualization of XML Topic Maps. It is based on the TM4J framework. The editor can be used in genealogy for the visualisation of e.g. family trees.
A set of software components used to investigate and implement searching of music and audio. This covers content-based retrieval and meta-data based solutions, segmentation and content selection (summarisation) of audio and music (MIDI, MP3 and WAV).
An environment to experiment in software development interfaces
evaluating different tools to educate software developers to use
development tools such as wizards and programming languages.
MASQOT-GUI is an open-source, platform-independent application for two-channel microarray spot quality control. Included is a set of tools for gridding, segmentation, quantification, multivariate spot quality assessment and data visualization.
Software Development Toolkit and Libraries to support the adoption of MIMOSA and Open O&M Initiatives. The libraries and toolkits will focus on basic implementation of DAO, XML, and Web Service tools.
The Website Automatic Usability Testing EnviRonment is a set of tools to assist usability testing of websites. On SourceForge you'll find our source code (Java) and other details can be found, for the time being, at http://wauter.weeweb.com.au/
Vizumine helps the data analyst to extract information of the data. It creates association rules of a large set of items and provides tools to analize these rules.
Ham's Actor is a software for radio hams. Is a bundle of many functions and tools, so you just have to have one software. Functions: Log Book, GrayLine, satellite tracing, contesting, maps, callbook, and so on...
The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs which modify other programs.
Extended Bioaccumulation Framework (ExBAF) is a tool for assessing bioaccumulation in foodwebs. Supports several bioaccumulation models and provides tools for analysis and visualization.
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.