rjolly / scasLinks
Scala Algebra System
☆16Updated this week
Alternatives and similar repositories for scas
Users that are interested in scas are comparing it to the libraries listed below
Sorting:
- Bringing Spire to Dotty/Scala 3☆14Updated last year
- Data-centric metaprogramming for Scala☆17Updated 10 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated last month
- Access Scala language features on the type-level☆31Updated last year
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Updated 2 weeks ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Updated 8 years ago
- Fast streams for Scala 3☆56Updated 7 months ago
- Unique Functional Values for Scala☆17Updated last year
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Updated 7 years ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated 2 weeks ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- This library has been succeeded by cats-tagless☆41Updated 7 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 3 years ago
- XML String Interpolator for Dotty☆34Updated last year
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Updated 2 years ago
- Mixin classes and traits dynamically☆10Updated 8 years ago
- Companion repository for 'No More Orphans'☆14Updated 2 years ago
- The semantic search engine where anyone can define anything anywhere☆30Updated 8 years ago
- ☆11Updated 3 years ago
- An enhanced glob interpolator for Scala with format strings☆13Updated last year
- Support for JDK9's Multi Release JAR Files (JEP 238)☆17Updated last year
- Higher kinded data in Scala☆20Updated 6 months ago
- Final tagless talk sources.☆15Updated 8 years ago
- ScalaJS CSS library☆24Updated 6 years ago
- the Scala delimited continuations plugin and library☆90Updated 5 years ago
- ☆11Updated 6 years ago
- Proposal for faster sbt launch times and more stable plugin ecosystem☆23Updated 7 years ago