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:
- ☆12Updated 3 years 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
- Simple encoding of refinement types in Scala 3☆25Updated 11 months ago
- Fast streams for Scala 3☆52Updated 3 months ago
- For Publishing ScalaJS Package to npm☆14Updated 11 months ago
- ☆11Updated 3 years ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 2 months ago
- An humble plugin to search for scala libraries☆37Updated 9 months ago
- Compile-time expression evaluation for Scala 2☆16Updated last week
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- ☆19Updated 2 years ago
- Typeclasses for integration of dotty-cps-async with well-known monads.