OlivierBlanvillain / regsafe
☆19Updated 2 years ago
Alternatives and similar repositories for regsafe:
Users that are interested in regsafe are comparing it to the libraries listed below
- Fast streams for Scala 3☆51Updated 2 weeks ago
- Higher kinded data in Scala☆19Updated 5 months ago
- Makes `A | Null` work with for-comprehensions☆22Updated 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
- Type-level lambda calculus in Scala 3☆13Updated 2 years ago
- ☆12Updated 3 years ago
- A cross-platform (JVM, JS, Native) pure-Scala JsonRPC library, made with Cats Effect, fs2, and jsoniter☆18Updated 9 months ago
- Code exploration via diagrams☆18Updated 4 months ago
- Tiny dsl library for path et parameters of urls☆35Updated 2 weeks ago
- ☆10Updated 3 weeks ago
- Bringing Spire to Dotty/Scala 3☆14Updated 10 months ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- ☆17Updated 3 weeks ago
- Type class derivation for services, not data☆33Updated 6 months ago
- Compile-time expression evaluation for Scala 2☆15Updated last month
- XML String Interpolator for Dotty☆33Updated 9 months ago
- Linear types in Scala☆40Updated 3 weeks ago
- ☆52Updated this week
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆30Updated this week
- Generic Monoids for Scala☆52Updated this week
- Simple encoding of refinement types in Scala 3☆24Updated 6 months ago
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆21Updated last year
- Algebraic Effects for Scala 3☆57Updated 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 7 months ago
- ▶️ Scala CLI setup GitHub Action☆17Updated this week
- Unique Functional Values for Scala☆17Updated 4 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆30Updated 9 months ago
- ☆11Updated 5 years ago