Projects in Awesome Lists tagged with dotty

https://github.com/scala/scala3

The Scala 3 compiler, also known as Dotty.

compiler dotty epfl scala scala3

Last synced: 16 Dec 2024

https://github.com/scalacenter/scalafix

Refactoring and linting tool for Scala

dotty linter metaprogramming refactoring rewrite sbt scala scalafix

Last synced: 19 Dec 2024

https://github.com/cvogt/cbt

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

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

Last synced: 17 Dec 2024

https://github.com/scalaprops/scalaprops

property based testing library for Scala

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

Last synced: 18 Nov 2024

https://github.com/scalacenter/scala-3-migration-guide

The Scala 3 migration guide for everyone.

dotty migration scala-3

Last synced: 18 Dec 2024

https://github.com/emergentorder/onnx-scala

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

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

Last synced: 20 Dec 2024

https://github.com/EmergentOrder/onnx-scala

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

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

Last synced: 18 Nov 2024

https://github.com/scalaenv/scalaenv

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

dotty homebrew homebrew-formula scala scala-environment scala3

Last synced: 13 Dec 2024

https://github.com/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

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

Last synced: 18 Nov 2024

https://github.com/maximekjaer/tf-dotty

Shape-safe TensorFlow in Dotty

dotty tensorflow

Last synced: 07 Nov 2024

https://github.com/jcouyang/meow

Catless Category Theory in Dotty/Scala 3 meow ~

category-theory dotty kan-extensions scala

Last synced: 11 Nov 2024

https://github.com/takapi327/ldbc

ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.

cats-effect cats-effect-3 database dotty functional-programming jdbc mysql sbt sbt-plugin scala scala3 typelevel

Last synced: 14 Dec 2024

https://github.com/theelectronwill/why-roguelike

A multiplayer ASCII roguelike

ascii dotty game multiplayer-game roguelike scala scala3

Last synced: 14 Oct 2024

https://github.com/glavo/scala3-library-with-braces

Scala 3 Standard Library with bracket syntax.

dotty scala scala3

Last synced: 14 Nov 2024

https://github.com/chocolateboy/get-wild

Extract nested properties from an object with support for wildcards

dig dot dot-notation dotted dotty extract get glob globbing json lodash-get microlibrary path pluck selector star wildcard wildcards zero-dependency

Last synced: 16 Oct 2024

https://github.com/takapi327/lepusframework

Lepus Framework is an asynchronous REST API framework for Scala 3.

cats-effect dotty effect-system framework functional-programming http4s sbt scala scala3

Last synced: 14 Dec 2024

https://github.com/kubukoz/caliban-http4s-ce3

A template project for building GraphQL applications with http4s/CE3/Caliban and Scala 3.

caliban caliban-graphql cats-effect dotty graphql http4s scala-3 scala3

Last synced: 27 Oct 2024

https://github.com/tanishiking/scalafix-unused

[WIP] Scalafix rule for warning unused values and imports that works both in Scala2 and Scala3.

dotty linter scala scala3 scalafix unused

Last synced: 14 Oct 2024

https://github.com/kacperfkorban/wordle-compile

A Scala 3 compiler plugin, that requires you to solve a Wordle in order for the compilation to finish

dotty scala scala3

Last synced: 03 Nov 2024

https://github.com/kacperfkorban/lazycall

A lightweight library that lets You write unreadable code

dotty scala scala3

Last synced: 21 Dec 2024

https://github.com/radeusgd/quotedpatternmatchingproof

A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.

coq dotty formalization lambda-calculus scala

Last synced: 18 Dec 2024