tarao / lambda-scala3
Type-level lambda calculus in Scala 3
☆12Updated last year
Related projects: ⓘ
- For Publishing ScalaJS Package to npm☆13Updated 2 months ago
- Fast streams for Scala 3☆46Updated last year
- ☆12Updated 2 years ago
- ☆11Updated 2 years ago
- convert to scalameta AST, generate scalafix rule template in web browser☆12Updated this week
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆40Updated 3 months ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 5 months ago
- GraphQL client for Scala.☆18Updated this week
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆11Updated last year
- Simple encoding of refinement types in Scala 3☆24Updated 2 months ago
- Generic Monoids for Scala☆51Updated this week
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 5 months ago
- ☆18Updated 2 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- ☆13Updated last year
- An humble plugin to search for scala libraries☆37Updated 2 weeks ago
- Functional bindings for ZeroMQ☆10Updated last month
- ☆17Updated last week
- Bringing Spire to Dotty/Scala 3☆14Updated 7 months ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆31Updated last year
- Typelevel's very own CryptoKitties!☆28Updated this week
- Compile-time expression evaluation for Scala☆15Updated last week
- Algebraic Effects for Scala 3☆54Updated this week
- Higher kinded data in Scala☆18Updated last month
- Zero-cost wrappers (newtypes) for Scala 3☆42Updated 3 years ago
- Unique Functional Values for Scala☆17Updated 2 weeks ago
- ☆11Updated 5 years ago
- ☆17Updated this week
- Scala bindings for Hugging Face Tokenizers☆12Updated last year
- AWS scala native implementation☆18Updated this week