42 10 8

protobuf-kafka deserialize kafka-serde-scala json avro4s avro-kafka json4s kafka-serializers scala kafka circe kafka-streams serde jsoniter-scala upickle jackson serialization

40 8 5

proof herbrand-disjunction tactics proofs theorem-proving scala sat-solver

40 14 22

geotrellis vector-tiles openstreetmap

37 13 9

csv-parser cats streaming-data-parsers xml json fs2 scala json-parser circe csv

37 9 7

34 12 4

akka constructr coordination-service consul

33 14 7

scala static-site-generator template-engine

37 3 3

fabric8 cats-effect scala kubernetes-operator functional-programming

32 5 4

cats cats-effect scala functional-programming telegram-bot-api telegram

32 3 3

scala static-site-generator ammonite

34 2 2

kubernetes continuous-integration scala orchestra continuous-delivery ci cd continuous-deployment

35 1 4

python cross-platform deep-learning java machine-learning scala neural-network csharp lightweight javascript fsharp functional-programming

33 2 3

29 1 2

scala okhttp monix android

32 0 2

28 7 5

stripe stripe-scala stripe-api scala

29 15 3

29 0 5

doobie http4s scalajs typelevel scala circe http4s-modules

28 6 5

izumi metrics scala dynamodb fp functional-programming

27 6 5