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
- For Publishing ScalaJS Package to npm☆14Updated 8 months ago
- Simple encoding of refinement types in Scala 3☆25Updated 9 months ago
- ☆11Updated 3 years ago
- (April Fools joke) Your favorite language... transpiled from Scala!☆18Updated 5 months ago
- Fast streams for Scala 3☆52Updated last month
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆41Updated 10 months ago
- Typelevel's very own CryptoKitties!☆28Updated this week
- GraphQL client for Scala.☆19Updated last week
- ☆42Updated this week
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last month
- TOML parser with codec derivation for the Scala platform☆14Updated last month
- Compile-time expression evaluation for Scala 2☆15Updated last week
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Command line debugging console for Cats Effect☆19Updated 11 months ago
- AWS scala native implementation☆19Updated this week
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆26Updated last week
- ☆53Updated 2 months ago
- Scala.js type-safe bindings for Node.js v10, v12 & v14☆22Updated 7 months ago
- Algebraic Effects for Scala 3☆60Updated last week
- Scala bindings for Hugging Face Tokenizers☆13Updated last year
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 3 years ago
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 11 months ago
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆11Updated 5 months ago
- Makes `A | Null` work with for-comprehensions☆22Updated last year
- An humble plugin to search for scala libraries☆37Updated 6 months ago
- ☆18Updated 2 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 8 months ago
- Typesafe record types for Scala☆20Updated last month