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: 07 Apr 2026

https://github.com/scalacenter/scalafix

Refactoring and linting tool for Scala

dotty linter metaprogramming refactoring rewrite sbt scala scalafix

Last synced: 14 May 2025

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: 05 Apr 2025

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

dotty metaprogramming scala scala3

Last synced: 01 Apr 2026

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: 14 Apr 2025

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

The Scala 3 migration guide for everyone.

dotty migration scala-3

Last synced: 06 Apr 2025

https://github.com/dotty-cps-async/dotty-cps-async

experimental CPS transformer for dotty

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

Last synced: 11 Apr 2026

https://github.com/scala/scala3.g8

dotty epfl g8 hacktoberfest scala scala3

Last synced: 28 Jun 2025

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: 13 May 2025

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: 04 Apr 2025

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: 11 Sep 2025

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: 23 May 2026

https://github.com/cschanck/single-file-java

One file, one piece of functionality. No dependencies.

csv-parser dotty java-utils kvstore minimalist parser paxos

Last synced: 11 Jan 2026

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: 13 May 2025

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

Shape-safe TensorFlow in Dotty

dotty tensorflow

Last synced: 13 Apr 2025

https://github.com/jcouyang/meow

Catless Category Theory in Dotty/Scala 3 meow ~

category-theory dotty kan-extensions scala

Last synced: 26 Apr 2025

https://github.com/tabdulradi/nullable

Makes `A | Null` work with for-comprehensions

allocation-cost dotty null-safety scala union-types

Last synced: 10 Apr 2025

https://github.com/dmytromitin/dotty-patched

Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming

compilation compiler dotty eval evaluation macros metaprogramming runtime-compilation scala scala-3 scala3 scala3-metaprogramming

Last synced: 06 Sep 2025

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

A multiplayer ASCII roguelike

ascii dotty game multiplayer-game roguelike scala scala3

Last synced: 12 Apr 2025

https://github.com/scala/scala3-cross.g8

dotty epfl g8 hacktoberfest scala scala3

Last synced: 28 Jun 2025

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

Scala 3 Standard Library with bracket syntax.

dotty scala scala3

Last synced: 10 Apr 2025

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: 12 May 2025

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: 25 Jul 2025

https://github.com/samadpls/scala-functionalproramming

This repo contains my practice on Scala and functional programming. It includes lectures and labs from various sources that helped me learn the basics and advanced concepts of Scala.

dotty functional-programming opensource scala scala3

Last synced: 07 Mar 2026

https://github.com/simy4/advent-of-code-scala

Solving advent of code challenges

advent-of-code dotty scala

Last synced: 10 Apr 2025

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: 19 Mar 2025

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: 06 Mar 2026

https://github.com/bilal-fazlani/swiftbar4s

SwiftBar4s is a scala framework to create SwiftBar plugins for MacOS

bitbar bitbar-plugin dotty plugin scala swiftbar

Last synced: 28 Apr 2025

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: 01 Mar 2025

https://github.com/kacperfkorban/lazycall

A lightweight library that lets You write unreadable code

dotty scala scala3

Last synced: 29 Jan 2026

https://github.com/mrdimosthenis/scala-synapses

A plug-and play library for neural networks written in Scala 3

deep-learning dotty functional-programming machine-learning neural-network scala

Last synced: 10 Apr 2025

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: 02 May 2026

https://github.com/bbjubjub2494/coprocessing

Scala 3 + Processing 3 = <3

computer-graphics dotty processing scala

Last synced: 18 May 2026

https://github.com/mrandl/satsolver

A toy functional and parallel SAT solver implementation in Scala

dotty functional-programming sat-solver scala

Last synced: 14 Jun 2025

https://github.com/melgenek/dotty-dynamodb

This is an example project that uses Dotty (Scala 3) to make the Java DynamoDb client more convenient using macros, type class derivations and sprinkle of implicits.

aws aws-dynamodb aws-sdk-java-v2 dotty scala scala-macros scala3