• Our Free Plans just got better! | Auth0 Icon
    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.
    Try free now
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    AWS IoT FleetWise Edge

    AWS IoT FleetWise Edge

    AWS IoT FleetWise Edge Agent

    ...Train autonomous vehicles (AVs) and advanced driver assistance systems (ADAS) with camera data collected from a fleet of production vehicles. Improve electric vehicle (EV) battery range estimates with crowdsourced environmental data, such as weather and driving conditions, from nearby vehicles. Collect select data from nearby vehicles and use it to notify drivers of changing road conditions, such as lane closures or construction. Use near real-time data to proactively detect and mitigate fleet-wide quality issues.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2

    EVLib

    Management and simulation of Electric Vehicles activities

    ...On top of this, the library supports the simultaneous operation of many EV activities through the efficient use of threads.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Cpt Kirk

    Obtain why and why-not justifications for answer set programs.

    Since the method proposed in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub is based on meta-programming, it is possible to use existing state-of-the-art software systems that support well-founded and answer-set semantics, which allowed us to start developing this new tool by extending the one that exists related to a debugging approach: Spock, hence the name Cpt. Kirk. Furthermore and more importantly, one direction to explore is to use the technique of reification as described in "metaASP" to obtain the implicants via a saturation technique, and obtaining the prime implicants of provenance formulae by optimization and thus proper minimal justifications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Exploration in Evolutionary Computing, implementing the Traveling Salesman Problem, solving it by creating random solutions and apply random solutions to the survivors of an evaluation/elimination process.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    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
  • Previous
  • You're on page 1
  • Next
Auth0 Logo