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
- ☆12Updated 3 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- 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
- SBT/Mill plugins and CLI to install C/C++ dependencies using Vcpkg (https://vcpkg.io/en/index.html), with Scala Native integration☆21Updated 4 months ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆19Updated 5 months ago
- ☆11Updated 3 years ago
- ☆13Updated 2 years ago
- Allows to read Scaladoc at runtime by embedding as annotation by the compiler plugin.☆22Updated 5 months ago
- Fast streams for Scala 3☆56Updated 7 months ago
- TOML parser with codec derivation for the Scala platform☆16Updated 7 months ago
- GraphQL client for Scala.☆20Updated this week
- ☆19Updated 3 years ago
- Extensible records for Scala☆66Updated last week
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Updated 11 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- convert to scalameta AST, generate scalafix rule template in web browser☆15Updated this week
- An humble plugin to search for scala libraries☆37Updated last year
- Typelevel's very own CryptoKitties!☆28Updated 2 weeks ago
- ☆43Updated last week
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆15Updated last week
- Algebraic Effects for Scala 3☆79Updated last week
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- ☆55Updated last month
- Good-Bye non type-safe JavaScript and CSS😊☆19Updated 2 years ago
- minimum viable runtime☆66Updated 5 months ago
- Command line debugging console for Cats Effect☆19Updated last year
- `@ifdef` is an annotation that implements conditional compilation in Scala☆40Updated last month
- A Language Server Protocol implementation for the Smithy IDL☆14Updated 4 months ago
- Markdown String Interpolator for Scala 3☆19Updated 3 years ago