43 4 1

43 5 9

openweathermap weather api-wrapper scala

42 13 8

42 14 6

sbt sbt-plugin osgi

42 37 18

42 10 8

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

40 14 22

automan crowdsourcing scala

38 12 3

scala pool object-pool

38 3 2

sql sql-dsl scala sql-builder

38 5 3

37 5 1

36 26 11

ui scala spreadsheet functional-programming scalajs birds applicative reactive

35 4 4

34 12 7

34 23 14

scala cats kittens annotations

33 4 3

authorization authentication oauth

33 17 5

32 5 3

32 3 3

32 12 8