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:
- For Publishing ScalaJS Package to npm☆14Updated last year
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- ☆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
- (April Fools joke) Your favorite language... transpiled from Scala!☆19Updated 5 months ago
- ☆11Updated 3 years ago
- SBT/Mill plugins and CLI to install C/C++ dependencies using Vcpkg (https://vcpkg.io/en/index.html), with Scala Native integration☆20Updated 3 months ago
- convert to scalameta AST, generate scalafix rule template in web browser☆15Updated this week
- ☆19Updated 3 years ago
- ☆13Updated last year
- An humble plugin to search for scala libraries☆37Updated last year
- GraphQL client for Scala.☆20Updated this week
- Extensible records for Scala☆66Updated last month
- TOML parser with codec derivation for the Scala platform☆16Updated 6 months ago
- Fast streams for Scala 3☆55Updated 6 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆14Updated this week
- Composable gens for ScalaMatsuri 2023☆14Updated 2 years ago
- ☆56Updated last month
- Typelevel's very own CryptoKitties!☆28Updated last week
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Updated 10 months ago
- ☆43Updated last week
- ☆18Updated 3 months ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- minimum viable runtime☆66Updated 5 months ago
- Functional bindings for ZeroMQ☆10Updated last year
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆26Updated 3 weeks ago
- A Language Server Protocol implementation for the Smithy IDL☆14Updated 3 months ago
- Generic Monoids for Scala☆52Updated last week
- Generic refactoring rules available in scalafix☆13Updated last year