dotty
There are 108 repositories under dotty topic.
scala/scala3
The Scala 3 compiler, also known as Dotty.
scalacenter/scalafix
Refactoring and linting tool for Scala
cvogt/cbt
CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala
arainko/ducktape
Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔
scala/scala3-example-project
An example sbt project that compiles using Dotty
scalaprops/scalaprops
property based testing library for Scala
scalacenter/scala-3-migration-guide
The Scala 3 migration guide for everyone.
lunatech-labs/lunatech-scala2-to-scala3-course
Lunatech course - "Moving forward from Scala 2 to Scala 3"
rssh/dotty-cps-async
experimental CPS transformer for dotty
EmergentOrder/onnx-scala
An ONNX (Open Neural Network eXchange) API and backend for typeful, functional deep learning and classical machine learning in Scala 3
ashwinbhaskar/functional-way
Write small programs (eg -algorithms) in a functional way.
scalaenv/scalaenv
Groom your app's Scala environment with scalaenv like rbenv :). Support offered for all official versions, including dotty and scala3!
ashwinbhaskar/scala-to-dotty
Dotty way of writing Scala 2 code
VirtusLab/Inkuire
Hoogle-like searches for Scala 3 and Kotlin
olofwalker/ting
Command-line based ticket system written in Scala 3
cschanck/single-file-java
One file, one piece of functionality. No dependencies.
ryanberckmans/noric-bot
A bot written in Scala 3 to stress test text-based MMORPGs (MUDs).
alcestes/effpi
Verified message-passing programs in Dotty
laughedelic/atom-ide-scala
:atom: Scala & Dotty support for Atom IDE (🧟♂️ zombie repo)
SciScala/NDScala
N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis labels & numeric data types
MaximeKjaer/tf-dotty
Shape-safe TensorFlow in Dotty
jcouyang/meow
Catless Category Theory in Dotty/Scala 3 meow ~
takapi327/ldbc
ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.
kory33/scala-proofs
An attempt to build axiomatic, formal set theory on top of Scala.
bszwej/scala-3-crash-course
Scala 3 workshop presenting the top new features of the language.
Dotty-China/dotty-china.github.io
Scala 3 中文站 网站仓库
tabdulradi/nullable
Makes `A | Null` work with for-comprehensions
DmytroMitin/dotty-patched
Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
TheElectronWill/why-roguelike
A multiplayer ASCII roguelike
factor10/intent
Test framework for Dotty
Glavo/scala3-library-with-braces
Scala 3 Standard Library with bracket syntax.
chocolateboy/get-wild
Extract nested properties from an object with support for wildcards
d-ogxwx/dvm
Dotty version manager.
takapi327/lepusframework
Lepus Framework is an asynchronous REST API framework for Scala 3.