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
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
BioMa is a specimen based Biodiversity database Manager. It is designed to store, organize, and manipulate biodiversity-related scientific data, either for the purposes of museums, scientific collections, or research projects.
GridPlan is an open source capacity planning and simulation tool for Grid Computing. GridPlan estimates the cost and performance of Grids comprised of Processor, Storage, Router and Switching nodes.
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)
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.
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.
The Free Location Api is a free implementation of the JSR-179 Location API for J2SE.
It also extends the functionality to allow aggregating of multiple location technologies and seamlessly transitioning between them. (GPS, BT, WLAN,...)
The VilAug framework for visual linguistics! This gadget contains an IconNet with icons like WordNet and an IconMessenger as instant messenger. A new ontology is used, grammars for visual languages designed. A language with signs? Create it with VilAug.
The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.
jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
PROMI is a Platform for the Reuse of Ontologies through Merging and Integration. It imports ontologies represented as OWL, RDF(S), DDL, DTD and XML schemas and incrementally merges their contents using various matching algorithms.
PileWorks provides the organizational structure for coordinating several different projects which approach some aspect of Pile Technology. PileWorks defines a set of interfaces and implements some basic infrastructure for Pile engines and agents.
Manages your bibliographic data and files. Easy to use explorer-like GUI, (pubmed, bibtex,...) import and (bibtex,din,...) export features and a WebService interface to exchange data between multiple instances allow convenient data management.
This project started as a loosely specified request from Malardalen University in Sweden to develop a computer game for the purpose of teaching mathematics. It came to be a 2D game, Mario-style, where progress is made by answering mathematical questions
A tool for decoding and presenting Geotechnical Sounding data (such as CPTu). Formats supported are the SGF standard as defined by the Swedish Geotechnical Society (www.sgf.net), and used by a number of commercial products, aswell as Generic text
The aim of this project is to provide SAT solvers and related products to be easily embedded in Java software. The softwares found here are part of former research projects that are no longer under development but that are made available here because