melvic-ybanez / chi
A function code generator and an isomorphism analyzer
☆38Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for chi
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆88Updated this week
- Quickstart your next app with the Typelevel Toolkit!☆94Updated this week
- skema morphisms☆89Updated this week
- A functional library to work with XML in Scala using Cats.☆27Updated this week
- A Scala compiler plugin for better ZIO type mismatch errors.☆88Updated 6 months ago
- A repo showcasing how to use Scala 3 macros beyond the simple use cases☆83Updated last year
- Micro-library for building effectful protocols☆62Updated last week
- A menagerie of macro utilities and extensions for Scala 3☆94Updated last month
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated last week
- Effect Zoo for Scala☆31Updated 2 weeks ago
- 100% non-blocking, Java NIO only( inspired by zio-nio) , JSON HTTP server based on Scala ZIO library. Everything including TLS encryption…☆84Updated 11 months ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆42Updated 2 years ago
- Easily modify parts of larger data structures☆58Updated 3 months ago
- Scala 3 to GLSL transpiler library☆59Updated 2 weeks ago
- Production ready event-driven automata for Scala, Scala.js and scala native☆85Updated this week
- Scala Quick API☆70Updated 2 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated 5 months ago
- Multisets for Scala☆85Updated 3 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Effectful property testing built on ScalaCheck☆82Updated this week
- Simple, Business-friendly Decisions Engine for Scala☆62Updated 2 months ago
- Full program static analysis for Scala☆94Updated 3 years ago
- they see me ringin'☆53Updated last week
- Algebraic Effects for Scala 3☆55Updated this week
- Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem☆89Updated 3 months ago
- Compile time validation of literal values built from strings☆105Updated last week
- An actor library for Cats Effect☆26Updated this week
- A tool for interactively updating your Scala dependencies.☆44Updated 5 months ago
- ☆47Updated 5 months ago