All Categories → No Category → dotty

Top 11 dotty open source projects

The Scala 3 compiler, also known as Dotty.

✭ 4,836

scala java javascript typescript CSS shell compiler epfl dotty scala3

scala3-cross.g8

No description or website provided.

✭ 12

scala shell epfl dotty scala3 hacktoberfest g8

Makes `A | Null` work with for-comprehensions

✭ 18

scala dotty union-types null-safety allocation-cost

A multiplayer ASCII roguelike

✭ 17

scala shell game ascii roguelike multiplayer-game dotty scala3

Scala & Dotty support for Atom IDE (🧟‍♂️ zombie repo)

✭ 47

scala atom language-server ide language-server-protocol atom-package atom-plugin ensime dotty scalameta scalafmt scala-ide lsp atom-ide atom-ide-scala scala-language-support metals

N-dimensional arrays in Scala 3. Think NumPy ndarray, but type-safe over shapes, array/axis labels & numeric data types

✭ 37

scala python machine-learning numpy matrix neural-networks ndarray tensor dotty scala3 numerical-computing scala-3 array-programming named-tensor shape-safety n-dimensional-array

Shape-safe TensorFlow in Dotty

✭ 42

scala javascript CSS tensorflow dotty

Verified message-passing programs in Dotty

✭ 42

scala python shell actors processes model-checking dotty

Hoogle-like searches for Scala 3 and Kotlin

✭ 70

scala CSS functional-programming dotty scala3 scaladoc hoogle dokka inkuire

scala-3-crash-course

Scala 3 workshop presenting the top new features of the language.

✭ 34

scala workshop functional-programming union exercises adt dotty scala3 enums intersections

Test framework for Dotty

✭ 14

scala CSS HTML shell testing test-framework dotty

1-11 of 11 dotty projects