raulraja Goto Github PK
Name: Raúl Raja Martínez
Type: User
Company: @xebia-functional
Bio: Interested in AI, LLMs, Functional Programming & Formal verification. CTO @xebia-functional @47deg. Maintainer xef.ai, @arrow-kt
Twitter: raulraja
Location: Multiverse