Pinned Loading

1. idris2-hello-world idris2-hello-world Public

   Simple Idris2 project to demo idris-2-docker

   Idris 1

2. idris2-effects idris2-effects Public

   Port effects package from Idris 1 to Idris2

   Idris 2

3. spring-boot-ai-demo spring-boot-ai-demo Public

   Demo Application for AI Chat Bot with Spring Boot, WebSocket, Angular

   Java 1 1

4. keycloak-spring-security-oauth2-token-exchange-demo keycloak-spring-security-oauth2-token-exchange-demo Public

   Demo system for Keycloak OAuth2 Token Exchange

   Java 1 1