mbovel / presentation-template
☆10Updated 10 months ago
Alternatives and similar repositories for presentation-template:
Users that are interested in presentation-template are comparing it to the libraries listed below
- ☆16Updated 5 months ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- ☆54Updated 3 months ago
- Type-safe Queries☆53Updated last year
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 4 months ago
- The batteries-included Scala☆95Updated 2 months ago
- ☆16Updated 4 years ago
- Type class derivation for services, not data☆35Updated 2 months ago
- Automatic UI forms for Scala 3 functions☆16Updated 8 months ago
- ☆16Updated 2 weeks ago
- ☆108Updated last year
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 7 months ago
- LL(1) parser combinators in Scala☆58Updated 2 months ago
- an implementation of Wadler's a prettier printer☆188Updated last month
- A menagerie of macro utilities and extensions for Scala 3☆99Updated last month
- Snapshot testing for Scala made easy 📸☆60Updated this week
- A reimagined scala-pickling in the Scala 3 world☆73Updated last year
- Error handling made precise. Because error handling belongs in the types.☆26Updated 10 months ago
- ☆12Updated 4 months ago
- Effectful property testing built on ScalaCheck☆81Updated 2 weeks ago
- Scala 3 run-time reflection library☆52Updated this week
- Comprehensions for Arrows and Monoidal categories☆61Updated 5 months ago
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 6 years ago
- A strawman for a low-level async library in Scala 3.☆275Updated last month
- An SBT plugin for displaying a welcome message and commonly used tasks.☆85Updated 3 months ago
- Get the name of a type at compile-time. Amaze your friends!☆78Updated 2 years ago
- A module for the decline command line parser to enable bash and zsh autocomplete☆13Updated last year
- Alternative fs2 docs☆29Updated last month
- Compiler plugin for intuitive tagless final☆126Updated 8 months ago
- A sound library for scalaJs using Web Audio Api☆3Updated this week