tarao / lambda-scala3
Type-level lambda calculus in Scala 3
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-scala3
- For Publishing ScalaJS Package to npm☆13Updated 4 months ago
- ☆12Updated 3 years ago
- GraphQL client for Scala.☆18Updated this week
- Fast streams for Scala 3☆46Updated last year
- ☆11Updated 2 years ago
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆41Updated 6 months ago
- Simple encoding of refinement types in Scala 3☆24Updated 4 months ago
- Typelevel's very own CryptoKitties!☆28Updated this week
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated last month
- An humble plugin to search for scala libraries☆38Updated 2 months ago
- Scala bindings for Hugging Face Tokenizers☆12Updated last year
- Algebraic Effects for Scala 3☆55Updated this week
- ☆52Updated last month
- ☆17Updated last month
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆31Updated last year
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 7 months ago
- ☆13Updated last year
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Command line debugging console for Cats Effect☆19Updated 7 months ago
- `@ifdef` is an annotation that implements conditional compilation in Scala☆32Updated 3 months ago
- Compile-time expression evaluation for Scala 2☆15Updated last month
- Generate type mappers for your own type class☆13Updated last year
- ☆40Updated this week
- ☆18Updated 2 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 3 years ago
- ☆16Updated last year
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆11Updated last month
- Type class derivation for services, not data☆30Updated 4 months ago
- ☆24Updated 2 years ago
- WIP - Scalameta powered code generation☆40Updated 6 years ago