dotty

Star

Here are 103 public repositories matching this topic...

lampepfl / dotty

Star

The Scala 3 compiler, also known as Dotty.

scala epfl compiler dotty scala3

Updated Sep 5, 2022
Scala

scalacenter / scalafix

Star

Refactoring and linting tool for Scala

refactoring scala sbt linter rewrite metaprogramming dotty scalafix

Updated Sep 5, 2022
Scala

cvogt / cbt

Star

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

cli scala sbt command-line build-automation build-tool build-system command-line-tool dotty frege cbt reproducible-builds scala-support

Updated May 28, 2018
Scala

scala / scala3-example-project

Star

An example sbt project that compiles using Dotty

scala epfl sbt dotty

Updated Aug 25, 2022
Scala

scalaprops / scalaprops

Star

property based testing library for Scala

testing scala prng scalaz scalaprops property-based-testing scala-js mersenne-twister dotty scala3 scala-native

Updated Sep 1, 2022
Scala

scalacenter / scala-3-migration-guide

Star

The Scala 3 migration guide for everyone.

migration dotty scala-3

Updated Jul 23, 2022
Scala

lunatech-labs / lunatech-scala-2-to-scala3-course

Star

Lunatech course - "Moving forward from Scala 2 to Scala 3"

training language learning scala course course-materials migration exercises dotty scala3 training-materials course-slides

Updated Jul 10, 2021
Scala

ashwinbhaskar / functional-way

Star

Write small programs (eg -algorithms) in a functional way.

clojure haskell scala algorithms functional-programming dotty scala3 immutable-datastructures

Updated Jun 6, 2021
Scala

scalaenv / scalaenv

Star

Groom your app's Scala environment with scalaenv like rbenv :). Support offered for all official versions, including dotty and scala3!

homebrew scala homebrew-formula dotty scala3 scala-environment

Updated Nov 21, 2021
Shell

ashwinbhaskar / scala-to-dotty

Star

Dotty way of writing Scala 2 code

scala dotty scala3

Updated Jun 6, 2021
Scala

rssh / dotty-cps-async

Star

experimental CPS transformer for dotty

scala async continuation monad cps scala-js transformation dotty scala-async

Updated Sep 4, 2022
Scala

EmergentOrder / onnx-scala

Star

An ONNX (Open Neural Network eXchange) API and backend for typeful, functional deep learning in Scala 3

machine-learning scala deep-neural-networks deep-learning neural-network jvm dotty scala3 onnx

Updated Aug 12, 2022
Scala

scala / scala3.g8

Star

scala epfl dotty scala3 hacktoberfest g8

Updated Aug 4, 2022
Scala

VirtusLab / Inkuire

Star

Hoogle-like searches for Scala 3 and Kotlin

scala functional-programming scalajs dotty scala3 scaladoc hoogle dokka inkuire

Updated Jul 27, 2022
Scala

olofwalker / ting

Star

Command-line based ticket system written in Scala 3

scala graalvm dotty graal-native

Updated Jun 1, 2021
Scala

ryanberckmans / noric-bot

Star

A bot written in Scala 3 to stress test text-based MMORPGs (MUDs).

bot scala mud game-development mmorpg graalvm dotty

Updated Jan 18, 2022
Scala

laughedelic / atom-ide-scala

Star

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

atom scala 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

Updated Nov 11, 2019
Scala

cschanck / single-file-java

Star

One file, one piece of functionality. No dependencies.

parser kvstore minimalist dotty paxos csv-parser java-utils

Updated Oct 13, 2020
Java

MaximeKjaer / tf-dotty

Star

Shape-safe TensorFlow in Dotty

tensorflow dotty

Updated Jun 22, 2022
Scala

alcestes / effpi

Star

Verified message-passing programs in Dotty

scala actors processes model-checking dotty

Updated Apr 20, 2021
Scala

Improve this page

Add a description, image, and links to the dotty topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dotty topic, visit your repo's landing page and select "manage topics."

Learn more