jeremyrsmith / baudrillardLinks
Experiments with symbolic functions in the Scala type system
☆27Updated 6 years ago
Alternatives and similar repositories for baudrillard
Users that are interested in baudrillard are comparing it to the libraries listed below
Sorting:
- Shape-safe TensorFlow in Dotty☆47Updated 3 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Cats Bifunctor IO☆79Updated 7 years ago
- ☆35Updated 5 years ago
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆71Updated 3 weeks ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 6 years ago
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆44Updated 6 months ago
- An advanced library for building DSLs that allows defering the existence of type class instances until interpretation.☆28Updated 5 months ago
- Monadic folds☆70Updated 3 years ago
- Multisets for Scala☆86Updated 4 years ago
- Library to support automatic labeling of ScalaCheck properties.☆67Updated last year
- Automatic typeclass-based abstraction over monad-like types☆54Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆64Updated 4 years ago
- One enum type class to rule them all☆29Updated this week
- Replacing Akka Actors with Cats Effect and FS2☆43Updated 5 years ago
- Binary serialization library for Scala☆59Updated last year
- REmote DIctionary Client, that's hysterical.☆48Updated last year
- Bringing Spire to Dotty/Scala 3☆14Updated last year
- A reactive streams implementation for fs2☆63Updated 6 years ago
- SBT project generator for flexible monorepo flow☆27Updated last month
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 11 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- ☆30Updated 3 weeks ago
- ☆108Updated 2 years ago
- Principled, fast, typeclass derivation.☆54Updated this week
- A reimagined scala-pickling in the Scala 3 world☆72Updated 2 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- Generic records for Scala☆16Updated 3 years ago
- Simulacrum as Scalafix rules☆34Updated last week