tarao / lambda-scala3Links
Type-level lambda calculus in Scala 3
☆13Updated 2 years ago
Alternatives and similar repositories for lambda-scala3
Users that are interested in lambda-scala3 are comparing it to the libraries listed below
Sorting:
- For Publishing ScalaJS Package to npm☆14Updated 11 months ago
- ☆11Updated 3 years ago
- newtype and refinement (refined) type for Scala 3☆12Updated 2 weeks ago
- ☆12Updated 3 years ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 2 months ago
- Typelevel's very own CryptoKitties!☆28Updated 2 weeks ago
- Fast streams for Scala 3☆52Updated 4 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- TOML parser with codec derivation for the Scala platform☆15Updated 4 months ago
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆42Updated last year
- sbt plugin to create custom timezone db files☆9Updated 3 months ago
- An humble plugin to search for scala libraries☆37Updated 9 months ago
- ☆19Updated 2 years ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last week
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆14Updated this week
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Updated 8 months ago
- Generate type mappers for your own type class☆13Updated 2 years ago
- A Scalafix plugin for Mill build tool☆37Updated last month
- GraphQL client for Scala.☆20Updated this week
- Type class derivation for services, not data☆37Updated 4 months ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆35Updated last month
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 6 months ago
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆25Updated last week
- Command line debugging console for Cats Effect☆19Updated last year
- ☆56Updated this week
- ☆18Updated last month
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆27Updated this week
- A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.☆16Updated 2 months ago