tribbloid / shapesafe

Related projects ⓘ

Alternatives and complementary repositories for shapesafe

• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆46Updated last year
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated 9 months ago
• DmytroMitin / dotty-patched
  Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
  ☆20Updated 2 years ago
• VirtuslabRnD / scala3-coroutines
  ☆11Updated 2 years ago
• dragonfly-ai / slash
  Linear Algebra and Statistics library for Scala.js, JVM, and Native.
  ☆25Updated 3 months ago
• Katrix / perspective
  Higher kinded data in Scala
  ☆19Updated 3 months ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• eed3si9n / sudori
  ☆12Updated 3 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• liufengyun / scala3-plugin-example
  ☆24Updated 2 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated last year
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆15Updated last month
• OlivierBlanvillain / regsafe
  ☆18Updated 2 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆47Updated 3 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆39Updated this week
• tpolecat / pool-party
  Turn a normal resource into a pooled one.
  ☆38Updated last year
• scalapy / python-native-libs
  Helpers for setting up an embedded Python interpreter
  ☆14Updated 3 months ago
• phaller / spores3
  Abstractions for making closures in Scala safer and more flexible
  ☆15Updated 11 months ago
• bishabosha / ops-mirror
  Type class derivation for services, not data
  ☆30Updated 4 months ago
• propensive / polyvinyl
  Typesafe record types for Scala
  ☆21Updated last week
• note / mini-refined
  Simple encoding of refinement types in Scala 3
  ☆24Updated 4 months ago
• travisbrown / dotty-experiments
  ☆11Updated 5 years ago
• shardulc / tasty-interpreter
  Reference interpreter for TASTy, the Scala 3 interchange format
  ☆12Updated last year
• marcinzh / effect-zoo
  Effect Zoo for Scala
  ☆31Updated 2 weeks ago
• robertjneal / rl
  Scala reinforcement learning framework
  ☆15Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• djspiewak / sillio
  ☆16Updated last year
• AdrielC / free-arrow
  Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
  ☆19Updated 8 months ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• raquo / ew
  Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.
  ☆19Updated 11 months ago