Lean 4 programming language and theorem prover

CIAM .NET samples

An ASP.NET Core Web App which lets sign-in users (including in your org, many orgs, orgs + personal accounts, sovereign clouds) and call Web APIs (including Microsoft Graph)

Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

This repository is for development of the Azure MCP Server, bringing the power of Azure to your agents.

Model Context Protocol Servers

Calling a ASP.NET Core Web API from a WPF application using Azure AD v2.0

Spring Petclinic Microservices with AI to Azure Container Apps

An awesome list that curates content (articles, videos, tutorials and docs) and templates (ready to use) for the Azure Developer CLI (`azd`). Plus a hosted azd-templates Gallery to simplify search …

The source for REST API specifications for Microsoft Azure.

Configuration repository for distributed Spring Petclinic application

Spring Petclinic application with a chatbot powered by OpenAI's Generative AI and the Spring AI project

Let your Claude able to think

Create your own ChatGPT with Retrieval-Augmented-Generation workshop

Public Repository for Extensions of Azure CLI.

Spring AI workshop content

The Azure Container Apps landing zone accelerator is an open-source collection of architectural guidance and reference implementation to accelerate deployment of Azure Container Apps at scale.

Open Source documentation for the Azure Architecture Center on Microsoft Docs

Use Java and AI for production ready use cases

Open source documentation of Microsoft Azure

This is a sample application created with JHipster

Reddog Cloud Native Solutions

MOVED. Sample repo to showcase Azure hosting options for Spring workloads, including usage of Azure Java SDKs to integrate with our managed services

Container Apps Quickstart: Java Album API

OpenTelemetry auto-instrumentation and instrumentation libraries for Java