openweathermap weather api-wrapper scala

42 13 8

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

40 14 22

geotrellis vector-tiles openstreetmap

37 13 9

scala zio scalafix

27 2 3

26 6 5

21 6 4

19 3 3

command-line config scalajs json configuration properties scala

19 2 3

aws-lambda sbt-plugin scala sbt terraform-aws aws-lambda-scala terraform aws

16 0 3

play-framework flow yarn sbt journalism redux frontend preact

15 7 53

spark cognite datasource scala

15 1 21

map-algebra geotrellis scala

14 9 10

cats-effect spotify cli http4s cats-mtl decline cats-tagless scala tagless-final

13 4 4

nexus scala akka shacl

12 8 7

scala slack client

10 2 3

mocking-server http-server scala stub-server http

7 2 3

6 1 2

6 4 2

akka-http circe api-client scala akka-streams

5 9 3

scala rest json busymachines-commons

5 3 11