Pinned Repositories
intellij-scala
Scala plugin for IntelliJ IDEA
cats-effect
The pure asynchronous runtime for Scala
fs2
Compositional, streaming I/O library for Scala
cats-effect-exercises
Cats effect exercises
dfa
Homework assignment for the course Compiler Construction at the Technical University of Munich.
docker-stats-monitor
Docker stats monitor
fastapi-eureka-docker-service-discovery
Fastapi Eureka Docker service discovery
rwsmonad
Read write state monad derivation exercise
semaphore
Lockless counting semaphore which maintains a set of permits
sparqlmon
SPARQL endpoint monitoring microservice system.
vasilmkd's Repositories
vasilmkd/docker-stats-monitor
Docker stats monitor
vasilmkd/rwsmonad
Read write state monad derivation exercise
vasilmkd/sparqlmon
SPARQL endpoint monitoring microservice system.
vasilmkd/dfa
Homework assignment for the course Compiler Construction at the Technical University of Munich.
vasilmkd/advent-of-code-2021
Advent of Code 2021 in Scala 3
vasilmkd/analyzer-and-contains-issue
Implicit resolution search scope explosion in IntelliJ IDEA - reproduction
vasilmkd/cats-effect
The pure asynchronous runtime for Scala
vasilmkd/discipline
Flexible law checking for Scala
vasilmkd/discipline-specs2
Specs2 Integration for Discipline
vasilmkd/dotty
The Scala 3 compiler, also known as Dotty.
vasilmkd/dottydoc-for3use213-issue-repro
Minimal sbt project which demonstrates an issue with `CrossVersion.for3use2_13` and DottyDoc
vasilmkd/fs2
Compositional, streaming I/O library for Scala
vasilmkd/fs2-grpc
gRPC implementation for FS2/cats-effect
vasilmkd/intellij-cats-implicits-resolution-performance
IntelliJ Cats implicits resolution performance
vasilmkd/jdk-index
A Jabba compatible index of JDK versions
vasilmkd/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
vasilmkd/munit-cats-effect
Integration library for MUnit & cats-effect
vasilmkd/repos
vasilmkd/sbt-github-actions
An sbt plugin which makes it easier to build with GitHub Actions
vasilmkd/sbt-header
sbt-header is an sbt plugin for creating file headers, e.g. copyright headers
vasilmkd/sbt-http4s-org
An experimental SBT plugin to support various http4s projects
vasilmkd/sbt-spiewak
A plugin which represents my personal SBT project baseline
vasilmkd/sbt-typelevel
Let sbt work for you.
vasilmkd/sbt-zinc-compilation-bug
An example sbt project that demonstrates a bug in zinc incremental compilation
vasilmkd/scala-java-enum-regression
Wrong match may not be exhaustive warning emitted by scalac 2.13.11
vasilmkd/scalacheck
Property-based testing for Scala
vasilmkd/specs2
Software Specifications for Scala
vasilmkd/static-forwarders-question
vasilmkd/varhandles
Next-Gen Programming Interfaces and Compilers Seminar
vasilmkd/zinc-wrong-class-names