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
- For Publishing ScalaJS Package to npm☆14Updated 7 months ago
- ☆12Updated 3 years ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 4 months ago
- Simple encoding of refinement types in Scala 3☆25Updated 7 months ago
- Fast streams for Scala 3☆52Updated last week
- Typelevel's very own CryptoKitties!☆28Updated 3 weeks ago
- AWS scala native implementation☆19Updated this week
- GraphQL client for Scala.☆18Updated 2 weeks ago
- ☆19Updated 2 years ago
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 10 months ago
- ☆13Updated last year
- Command line debugging console for Cats Effect☆19Updated 10 months ago
- ☆11Updated 3 years ago
- ☆18Updated last year
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last week
- An humble plugin to search for scala libraries☆37Updated 5 months ago
- Keyed Semaphore Implementation☆11Updated 7 months ago
- Template to bootstrap Scala Native CLI projects, uploading platform binaries to Github Releases artifacts☆22Updated this week
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 3 years ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆39Updated 2 months ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Type class derivation for services, not data☆34Updated last week
- Algebraic Effects for Scala 3☆57Updated 3 weeks ago
- Functional bindings for ZeroMQ☆10Updated 6 months ago
- Generate type mappers for your own type class☆13Updated last year
- Idiomatic Cats Effect + FS2 integrations for Web APIs☆35Updated 3 weeks 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
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆11Updated 4 months ago
- Turn a normal resource into a pooled one.☆38Updated 2 years ago