melvic-ybanez / chi
A function code generator and an isomorphism analyzer
☆38Updated 2 years ago
Alternatives and similar repositories for chi:
Users that are interested in chi are comparing it to the libraries listed below
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- ☆108Updated last year
- Multisets for Scala☆85Updated 3 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated 2 years ago
- Caches are tricky - Let Mules Haul its Weight.☆68Updated last month
- The pure testing library by scalaz.☆89Updated 5 years ago
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 7 months ago
- A STM implementation for Cats Effect☆148Updated 2 weeks ago
- A functional library to work with XML in Scala using Cats.☆32Updated last month
- Algebraic Effects for Scala 3☆72Updated last week
- REmote DIctionary Client, that's hysterical.☆48Updated 9 months ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆89Updated 3 months ago
- skema morphisms☆89Updated this week
- an implementation of Wadler's a prettier printer☆188Updated last month
- Get the name of a type at compile-time. Amaze your friends!☆78Updated 2 years ago
- ☆79Updated 4 years ago
- Recursion schemes training examples and exercises☆60Updated 5 years ago
- Effectful property testing built on ScalaCheck☆81Updated 2 weeks ago
- Type class derivation for services, not data☆35Updated 2 months ago
- ☆48Updated 10 months ago
- A scala 3 tree explorer for the reflect module☆45Updated 5 months ago
- A tool for interactively updating your Scala dependencies.☆43Updated 10 months ago
- Micro-library for building effectful protocols☆68Updated last week
- Library for counting and enumerating things.☆47Updated 3 years ago
- Quickstart your next app with the Typelevel Toolkit!☆97Updated this week
- A menagerie of macro utilities and extensions for Scala 3☆99Updated last month
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆55Updated this week
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆53Updated last month
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 4 months ago
- Cooperative multithreading as a pure monad transformer☆73Updated last month