
Xebia Functional Open Source Initiatives
194
Integrates modern AI capabilities, including large language models and image generation, into applications. Offers core libraries for essential AI services and complementary library integrations, inspired by LangChain and Hugging Face projects.
30
DSL for specifying systems via linear temporal logic. Enables model checking against implementations with Kotest or Scalacheck integration and property verification using Alloy integration.
7
Generates Java-friendly APIs from suspend functions, creating Future-based interfaces for seamless integration with Java and other JVM languages, while retaining original suspend functionality.