serras

Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrainsUtrecht, Netherlands

Pinned Repositories

arrow-analysis
Arrow Analysis Plugin
Language:Kotlin29 11 143
mu-haskell
Mu (μ) is a purely functional framework for building micro services.
Language:Haskell334 12 13819
kopykat
Little utilities for more pleasant immutable data in Kotlin
Language:Kotlin289 3 4417
emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
Language:Emacs Lisp693 40 3299
fir-tree
IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code
Language:Kotlin42 3 53
hinc
Haskell In New Clothes
Language:Haskell110 10 63
lambdaconf-2015-web
Projects for LambdaConf 2015 Haskell web workshop
Language:Haskell63 10 07
WeatherApp
Weather App with Arrow + Compose Desktop
Language:Kotlin39 2 15
zurihac-workshop
A bit of DSLs, a bit of I/O
Language:HTML16 3 01

serras's Repositories

serras/fir-tree
IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code
Language:Kotlin42 3 53
serras/WeatherApp
Weather App with Arrow + Compose Desktop
Language:Kotlin39 2 15
serras/inikio
Better initial-style DSLs in Kotlin
Language:Kotlin33 3 12
serras/kotlin-mismatch-hints
Inlay hints succinctly describing mismatches in Kotlin code
Language:Kotlin33 1 1
serras/zurihac-workshop
A bit of DSLs, a bit of I/O
Language:HTML16 3 01
serras/poke-fun
Poké-Fun with Kotlin and Arrow
Language:Kotlin12 2 04
serras/arrow-validation-tree
Arrow Validation Tree
Language:Kotlin9 2 11
serras/arrow-compose
Arrow ❤️ Compose
Language:Kotlin8 4 1
serras/turbine-temporal
Turbine meets Temporal Logic
Language:Kotlin4 2 1
serras/actions-as-data-continued
Actions as data, continued
Language:HTML2 1 0
serras/kotlinconf-features-example
Language:Kotlin2 2 0
serras/deprecation-repro
Code for reproducing KT-60604
Language:Kotlin1 2 0
serras/java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java1 2 0
serras/kotlin-multitarget-plugin
IntelliJ plug-in that warns about annotations with defaulted use-site targets
Language:Kotlin1 1 1
serras/better-schedules-talk
"Better schedules using compositional design patterns"
Language:HTML2 0
serras/boostrap-methods
Boostrap method for `copy`
Language:Kotlin
serras/CoroutinesWorkshop
Language:Kotlin0 0
serras/fritz2
Easily build reactive web-apps in Kotlin based on flows and coroutines.
Language:Kotlin1 0
serras/intellij-haskell-lsp
IntelliJ Plugin that provides Haskell language support via haskell-language-server
Language:Kotlin0 0
serras/kotlin
The Kotlin Programming Language.
Language:Kotlin1 0
serras/kotlin-accessor-overrides
Proof of concept for better warnings for accessor overrides
Language:Kotlin1 0
serras/kotlin-spec
Kotlin Language Specification:
Language:Kotlin1 0
serras/kotlinx-serialization-jsonpath
KotlinX Serialization JsonElement DSL based on Arrow Optics
Language:Kotlin1 0
serras/pokemon-tcg-data
The data found within the Pokémon TCG API
Language:Ruby1 0
serras/safe-concurrency-arrow
"Safe concurrency" talk
Language:HTML2 0
serras/serras.github.io
Website
Language:HTML2 0
serras/sqldelight
SQLDelight - Generates typesafe Kotlin APIs from SQL
Language:Kotlin1 0
serras/super-simple-ktor
Super Simple Ktor
Language:Kotlin2 0
serras/Tegral
🟣 Opinionated Kotlin libs, DSLs and frameworks to build better web apps
Language:Kotlin1 0
serras/vector-dsl
Proof of concept for a Kotlin DSL targeting the new Java Vector API
Language:Kotlin