General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try 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.
KF Checker is a tool for analysing Information Flow properties.
KF Checker infers information flow rules from source code.
The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.
RelEx is a semantic relationship extractor. It gives subject, object,
possesive and other relationships between words in a sentence,
part-of-speech, noun-number, verb tense, and gender tagging, and Hobbs
anaphora (pronoun) resolution.
Obs-dm aims to provide a robust and reliable way to collect, analyze, and share observational data. It is being designed for extendability into other areas such as fisheries and habitat science.
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.
DEAL (Domain Extraction ALgorithm) is an application for domain analysis. Its main purpose is to extract domain information from existing Java applications and to create different kinds of models from the extracted data, including domain-specific languages.
A general purpose CPU scavenging platform written in Java. The goal of the Numenor project is to provide a distributed processing platform that allows an organization to take advantage of unused CPU capacity.
Who (or what) is connected to whom (or what), seems to be a fundament question in every complex system. That’s why research in Complex Networks became a focus of special attention.
XMAS supports a new kind of “sit forward” time series microarray analysis through visual interaction and interoperable operators. Domain knowledge is integrated directly into the system to aid users in their analysis.
RunAsApproximator es un programa java multilenguaje que implementa algoritmos numéricos. Los datos de entrada son aquellos requeridos por cada algoritmo y los de salida son resultado final y los datos intermedios necesarios para alcanzar su resolución.
The aim of this project is to highlight the effect of lexical chain scoring metrics and keyword extraction techniques on summary generation. We present our own chain-based keyword extraction system using WordNet lexical database.
it provides a user interface to the economic theory through an intuitive and easily understandable quantification of the economic value of alternative business models.
The calendar algebra is a formal representation that captures the semantics of relationships between granularities of time. The software in this project serves as a basis for storing and converting time granularities defined by the calendar algebra.