Ideal for IT departments and MSPs (managed service providers)
Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
Try Atera now
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.
The MDS is sponsored by the Applied Math dept at the U Colorado, Boulder. We have created a system for presenting a mathematical text online, letting users embed discussions (including math symbols!) directly in the text.
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.
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.
BIRD stands for Business Intelligence Research and Development and it is part of the CoIntell Corporation (www.cointell.com). The goal of the BIRD community is to develop smart BI solutions Fast!
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.
Optimal assignment-based similarity functions for chemical graphs. The approaches represent extensions of the Optimal Assignment Kernel of Fröhlich et al.
This project is an implementation of a BML realizer using ROS. The algorithm uses an event-driven architecture, based on Petri nets, to ensure synchronization constraints for robots.
A computer algebra system for homological angebra computations using chain complexes, including of course a function parser, some support for different datatypes, maybe some group theoretical applications and so on.
The goal of the whyro project is to develop a modular and adaptable, platform independent solution for processing sensor data and interact with actuators in and around the home.
cTAKES is a system for annotating clinical documents, built on the Apache UIMA framework .
cTAKES development has moved to apache.org.
Please see http:/ctakes.apache.org