tarao / lambda-scala3
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
- ☆11Updated 3 years ago
- For Publishing ScalaJS Package to npm☆14Updated 10 months ago
- Simple encoding of refinement types in Scala 3☆25Updated 10 months ago
- ☆12Updated 3 years ago
- Fast streams for Scala 3☆52Updated 2 months ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated last month
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆41Updated 11 months ago
- Typelevel's very own CryptoKitties!☆28Updated 2 weeks ago
- sbt plugin to create custom timezone db files☆9Updated 2 months ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated 2 months ago
- GraphQL client for Scala.☆20Updated this week
- An humble plugin to search for scala libraries☆37Updated 8 months ago
- ☆42Updated 2 weeks ago
- Compile-time expression evaluation for Scala 2☆16Updated last month
- ☆13Updated last year
- TOML parser with codec derivation for the Scala platform☆14Updated 2 months ago
- ☆19Updated 2 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- Command line debugging console for Cats Effect☆19Updated last year
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native