scala dependent-types type-level-programming

28 3 4

monad future exception-handling compiler-plugin raii continuation-passing-style dsl scala monad-transformers

160 17 4

scala-js functional-reactive-programming type-classes scala data-binding

16 1 2

tensor parser-combinators matrix-factorization calculus riemann matrix-calculations einstein geometry matrix-decompositions

56 5 1

0 0 1

1905 292 73

asynchronous restful arangodb-client arangodb scala arango

36 10 2

java play webapps playframework reactive restful web-framework scala framework jvm

11412 3815 383

3 0 12

playframework watch-library file-watcher watch-service

12 11 9

mobile communication scala-js ui websocket android scala web-application-framework undertow framework ios cross-platform desktop dom

171 25 8

0 0 1

template-library playframework sbt-plugin scala template-language template-engine twirl

461 93 36

epfl compiler scala dotty scala3 language-server-protocol scala-compiler

3646 553 199

java algorithm k-nearest-neighbors spark scala knn-search pyspark

37 6 3

14 2 7

4 4 6

0 1 5

475 132 42