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.
Try free now
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
A version of the source I used in these videos on youtube: http://www.youtube.com/watch?v=5k6arok7zac http://www.youtube.com/watch?v=TaNu8-ObsXU and http://www.youtube.com/watch?v=7qAq61ATgqo . It requires Sunflow, JBullet, and Java.
This project is a compilation of tools/libraries to help with tasks related to Text Analytics mainly in Java. These tools range from simple wrappers to sophisticated mining tasks that can improve the productivity of researchers and engineers.
The project "Sippie" is an additional tool for automatically converting Wireshark-Traces to XML - scenarios, which can be easily used as infile for the OpenSource SIPp test tool and traffic generator.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.
New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1
Blogspread is an open platform for the developmend of applications that analyze data from websites like blogs and forums. Blogspread is jointly developed by the University of Mannheim, Germany, the UFPE, Recife, Brasil and the UFAL, Maceio, Brasil.
A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.
The Minervan project aims at aiding intelligent software development. It integrates reporting, analysis and data mining to support better decision making.
Graph polynomials and view prime numbers on a ulam spiral graphing plot. Only integer numbers. Based on an old GPL version of the JEP equation parser. See website for additional examples/live applets Seems to be closely related to Cellular automaton.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Earnest is a A PHP-MYSQL AI EXPERT SYSTEM for creating powerful expert system easily. Its simple PHP API can also be called from JAVA, browsers or other software to perform GIS and other comparisons. Also has ability to create XML results.
NG4J - 'Named Graphs API for Jena' is an extension to the Jena Semantic Web framework for parsing, manipulating and serializing sets of Named Graphs. For details about Named Graphs see http://www.w3.org/2004/03/trix/
CommonMap is an open source map project, forked from OpenStreetMap by a licence problem. CommonMap needs original softwares tuned for CommonMap. Most of software would be useful for any other open source map projects, too.
UbikSim is an infrastructure to study complex AmI (Ambient Intelligence) applications which involve a large number of users. It is a MABS (multi-agent based simulation) programmed in MASON and aims to be as descriptive as possible.
Biodiversity Information Group develops software tools and data standards that enable herbaria and museums to create dynamic distributed queries of their online databases. See http://bit.ly/bfirSh and http://bit.ly/bwpnSY for latest developments.
TaxonFinder is an application that annotates taxon found in literature. The application harnesses a hybrid algorithm that is necessarily a combination of morphological analysis, dictionary lookup and Levenstein Distance algorithm.
GRad is a standalone solar radiation model, programmed in Java. It is capable of the calculation of potential (clear sky) and actual (real sky) irradiance and total irradiation for single and multiple geographical locations.
Note that, while fully functional, this application is currently not developed any further.