raulraja
Interested in AI, LLMs, Functional Programming & Formal verification. CTO @xebia-functional @47deg. Maintainer xef.ai, @arrow-kt
@xebia-functionalMultiverse
Pinned Repositories
arrow
Λrrow - Functional companion to Kotlin's Standard Library
scala-exercises
The easy way to learn Scala.
fetch
Simple & Efficient data access for Scala and Scala.js
xef
Building applications with LLMs through composability, in Kotlin, Scala, ...
raulraja's Repositories
raulraja/kategory-intro
raulraja/the-algebra-architecture
Guidelines to build Pure Typed Functional Programs with ΛRROW
raulraja/compose-gpt
A simple example with xef.ai
raulraja/kotlin-hexagonal_http_api-course
💎 Kotlin Hexagonal HTTP API Course: Learn to do scalable Kotlin web apps
raulraja/awesome-kotlin
A curated list of awesome Kotlin related stuff Inspired by awesome-java.
raulraja/firebrand
An Object 2 Cassandra Mapper
raulraja/raise4s
Porting of the Raise DSL from the Arrow Kt Kotlin library
raulraja/ai-code-translator
Use AI to translate code from one language to another.
raulraja/akkurate
The expressive validation library for Kotlin
raulraja/android-architecture
A collection of samples to discuss and showcase different architectural tools and patterns for Android apps.
raulraja/anktest
raulraja/ArcherDemo
raulraja/arrow-hangman
Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)
raulraja/compiler_plugin_eval_srp
raulraja/fpio
raulraja/fptothemax
raulraja/fs2
Compositional, streaming I/O library for Scala
raulraja/github4s
A GitHub API wrapper written in Scala
raulraja/gpt4all
gpt4all: an ecosystem of open-source chatbots trained on a massive collections of clean assistant data including code, stories and dialogue
raulraja/gsp-graphql
Experimental GraphQL support for Gemini Science Platform
raulraja/hamsters
A mini Scala utility library
raulraja/helios
raulraja/java-callgraph
Programs for producing static and dynamic (runtime) call graphs for Java programs
raulraja/jvaas-postgresql
raulraja/kastree
Simple Kotlin Source AST and Syntax Parsing, Editing, and Writing
raulraja/KataSuperHeroesSpringBoot
This is a spring boot kata for the courses.
raulraja/kotlintest
Powerful, elegant and flexible Kotlin test framework
raulraja/scala-open-letter.github.io
raulraja/soda-ruby
A simple SODA 2.0 gem for Ruby.
raulraja/vert.x
vert.x - Effortless asynchronous application development for the modern web and enterprise