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 2 years ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆71Updated 2 weeks ago
- Some bifunctor IO type classes☆22Updated 4 years ago
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆43Updated last month
- Replacing Akka Actors with Cats Effect and FS2☆43Updated 5 years ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- A Keyed Pool Implementation for Scala☆37Updated 2 weeks ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- Referentially transparent logging with slf4j☆21Updated 6 months 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
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- ☆108Updated last year
- An advanced library for building DSLs that allows defering the existence of type class instances until interpretation.☆28Updated this week
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- ☆37Updated 5 years ago
- ☆35Updated 5 years ago
- Principled, fast, typeclass derivation.☆54Updated this week
- Cats-Effect & Akka interop☆55Updated this week
- Library to support automatic labeling of ScalaCheck properties.☆68Updated 8 months ago
- REmote DIctionary Client, that's hysterical.☆48Updated last year
- Multisets for Scala☆85Updated 4 years ago
- One enum type class to rule them all☆29Updated this week
- Wire your cakes automatically to zio environment☆42Updated 5 years ago
- ☆44Updated 9 months ago
- Easily modify parts of larger data structures☆61Updated 11 months ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 5 months ago
- Integration between jawn and fs2☆38Updated last month
- Verified message-passing programs in Dotty☆49Updated 4 years ago