Dennis van der Bij's repositories
akka-management
Akka Management is a suite of tools for operating Akka Clusters.
cats
Lightweight, modular, and extensible library for functional programming.
cats-effect
The IO monad for Scala
currencycloud-swagger
Swagger documentation for Currencycloud API v2
gatling-grpc
A Gatling load test plugin for gRPC
squid-fastanf
Scala Quoted DSLs – a metaprogramming framework based on type-safe and hygienic quasiquotes
inox
Solver interface for higher-order functional programs
kamon-akka
Kamon Akka Integration
linux-insides
A little bit about a linux kernel
log4cats
Logging Tools For Interaction with cats-effect
scalaz-zio
ZIO — A principled, powerful, standalone effect data type for any Scala project.
snooki-dj
our entry for the facebook hackathon on epfl campus 2015
streamz
A combinator library for integrating Functional Streams for Scala (FS2), Akka Streams and Apache Camel
welder
Interactive Theorem Proving on top of Inox.