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
- ☆12Updated 3 years ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 5 months ago
- Fast streams for Scala 3☆52Updated last month
- For Publishing ScalaJS Package to npm☆14Updated 8 months ago
- ☆11Updated 3 years ago
- Typelevel's very own CryptoKitties!☆28Updated last week
- Simple encoding of refinement types in Scala 3☆25Updated 8 months ago
- An humble plugin to search for scala libraries☆37Updated 6 months ago
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆41Updated 9 months ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last month
- GraphQL client for Scala.☆19Updated this week
- Command line debugging console for Cats Effect☆19Updated 11 months ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 11 months ago
- Compile-time expression evaluation for Scala 2☆15Updated last week
- Generate type mappers for your own type class☆13Updated last year
- ☆18Updated 2 years ago
- Algebraic Effects for Scala 3☆60Updated last month
- ☆42Updated last month
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 3 years ago
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆26Updated this week
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 3 years ago
- ☆34Updated last year
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆34Updated last month
- Type class derivation for services, not data☆34Updated last month
- ☆13Updated last year
- ☆53Updated last month
- WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!☆37Updated this week
- ☆19Updated 2 years ago