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:
- ☆16Updated 7 months ago
- ☆56Updated this week
- LL(1) parser combinators in Scala☆59Updated 4 months ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Extensible algebraic effects with handlers☆145Updated 2 weeks ago
- ☆108Updated last year
- Solver for higher-order functional programs, used by Stainless☆91Updated 2 months ago
- Type-safe Queries☆53Updated last year
- A scala 3 tree explorer for the reflect module☆46Updated 7 months ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- The batteries-included Scala☆95Updated 4 months ago
- Automatic UI forms for Scala 3 functions☆16Updated 10 months ago
- Type class derivation for services, not data☆37Updated 4 months ago
- Shape-safe TensorFlow in Dotty☆47Updated 2 years ago
- Effectful property testing built on ScalaCheck☆82Updated last week
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆11Updated 5 months ago
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 9 months ago
- Various tasks solved via metaprogramming in Dotty☆134Updated 2 years ago
- A sound library for scalaJs using Web Audio Api☆8Updated last month
- Comprehensions for Arrows and Monoidal categories☆61Updated last week
- Scalablytyped Mill Plugin☆28Updated last week
- Algebraic Effects for Scala 3☆75Updated 3 weeks ago
- A unique fusion of ontology ideas, strong Scala type system and Json flexibility☆19Updated last month
- Compiler plugin for intuitive tagless final☆126Updated 10 months ago
- an implementation of Wadler's a prettier printer☆188Updated 2 weeks ago
- A parsing library for the cats ecosystem☆241Updated 2 weeks ago
- enforce the Scalazzi subset of Scala with scalafix☆83Updated 6 years ago
- Proof assistant based on first-order logic and set theory☆38Updated 8 months ago
- A fast and modern parser combinator library for Scala☆196Updated last month
- `@ifdef` is an annotation that implements conditional compilation in Scala☆40Updated 2 months ago