mbovel / presentation-templateLinks
☆10Updated last year
Alternatives and similar repositories for presentation-template
Users that are interested in presentation-template are comparing it to the libraries listed below
Sorting:
- A fast and modern parser combinator library for Scala☆197Updated 3 weeks ago
- ☆16Updated 9 months ago
- ☆56Updated last month
- Various tasks solved via metaprogramming in Dotty☆134Updated 2 years ago
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆11Updated 7 months ago
- A parsing library for the cats ecosystem☆242Updated last week
- A strawman for a low-level async library in Scala 3.☆279Updated 3 weeks ago
- experimental CPS transformer for dotty☆192Updated last month
- The batteries-included Scala☆97Updated 6 months ago
- Let sbt work for you.☆178Updated last week
- Type-safe Queries☆52Updated last year
- ☆108Updated last year
- A scala 3 tree explorer for the reflect module☆52Updated 9 months ago
- Declarative concurrency and stream processing library for Scala☆212Updated 3 weeks ago
- Snapshot testing for Scala made easy 📸☆63Updated last month
- Automatic UI forms for Scala 3 functions☆16Updated last year
- Scalawind - Zero-Runtime Typesafe TailwindCSS in Scala☆61Updated 3 months ago
- Verification framework and tool for higher-order Scala programs☆384Updated 2 months ago
- A platform of libraries for Scala 3☆99Updated last month
- Agentic and LLM Programming in Scala☆120Updated this week
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Extensible algebraic effects with handlers☆145Updated last week
- A test framework that runs everything in parallel.☆68Updated last week
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 11 months ago
- ☆188Updated 8 months ago
- Effectful property testing built on ScalaCheck☆83Updated this week
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 8 months ago
- Compiler plugin for intuitive tagless final☆126Updated last year
- Operations for primitive and String singleton types☆164Updated last year
- Comprehensions for Arrows and Monoidal categories☆61Updated 2 months ago