mbovel / presentation-template
☆9Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for presentation-template
- ☆15Updated this week
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Type-safe Queries☆50Updated last year
- Automatic UI forms for Scala 3 functions☆14Updated 3 months ago
- ☆52Updated last month
- A fast and modern parser combinator library for Scala☆175Updated 2 months ago
- LL(1) parser combinators in Scala☆56Updated 2 years ago
- Type class derivation for services, not data☆30Updated 4 months ago
- Extensible algebraic effects with handlers☆144Updated this week
- Algebraic Effects for Scala 3☆55Updated this week
- an implementation of Wadler's a prettier printer☆187Updated last week
- A sound library for scalaJs using Web Audio Api☆60Updated 2 months ago
- Effectful property testing built on ScalaCheck☆82Updated last week
- ☆16Updated 3 years ago
- Snapshot testing for Scala made easy 📸☆54Updated 2 weeks ago
- ☆107Updated 10 months ago
- A menagerie of macro utilities and extensions for Scala 3☆94Updated last month
- ☆101Updated this week
- Error handling made precise. Because error handling belongs in the types.☆25Updated 5 months ago
- The workshop materials for the course on Scala 3 metaprogramming.☆13Updated last year
- The batteries-included Scala☆89Updated 2 weeks ago
- Solver for higher-order functional programs, used by Stainless☆88Updated last week
- Data visualization for a functional world☆25Updated 2 months ago
- Let sbt work for you.☆171Updated this week
- Various tasks solved via metaprogramming in Dotty☆130Updated 2 years ago
- Hoogle-like searches for Scala 3 and Kotlin☆90Updated last month
- Recursion schemes training examples and exercises☆59Updated 4 years ago
- Verified message-passing programs in Dotty☆47Updated 3 years ago
- Higher Kinded Data for Scala 3☆46Updated 3 months ago
- Comprehensions for Arrows and Monoidal categories☆60Updated 6 months ago