Alternatives and similar repositories for presentation-template:

Users that are interested in presentation-template are comparing it to the libraries listed below

• kasiaMarek / tyre-scala
  ☆16Updated 3 months ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last week
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated 2 weeks ago
• scalacenter / tasty-query
  ☆53Updated last month
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• KacperFKorban / GUInep
  Automatic UI forms for Scala 3 functions
  ☆16Updated 6 months ago
• melvic-ybanez / lohika
  A Proof Generator for Entailments and Tautologies in First-order Logic
  ☆38Updated 2 months ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated 2 years ago
• umazalakain / errata
  Error handling made precise. Because error handling belongs in the types.
  ☆26Updated 8 months ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated 2 weeks ago
• VirtusLab / using_directives
  ☆12Updated 2 months ago
• KuceraMartin / tyqu
  Type-safe Queries
  ☆52Updated last year
• lampepfl / monadic-reflection
  ☆107Updated last year
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆43Updated 3 years ago
• rolang / dumbo
  Simple database migration tool for Postgres with skunk on JVM and Native
  ☆32Updated 2 weeks ago
• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 6 months ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• bishabosha / ops-mirror
  Type class derivation for services, not data
  ☆34Updated last week
• julienrf / effects-without-monads-but-with-dotty
  ☆37Updated 5 years ago
• scalacenter / GoogleSummerOfCode2021
  ☆16Updated 3 years ago
• ChocPanda / scalacheck-magnolia
  Scalacheck Arbitrary type class derivation using magnolia
  ☆10Updated 2 years ago
• ValdemarGr / catch-effect
  MTL, but without the MT
  ☆13Updated last month
• siriusxm / snapshot4s
  Snapshot testing for Scala made easy 📸
  ☆58Updated 2 weeks ago
• sellout / turtles
  Generalized recursion schemes and traversals for Scala, using Cats.
  ☆48Updated 5 years ago
• ovotech / natchez-extras
  Integrations between Natchez, Doobie, HTTP4s, Log4cats and Datadog. Formerly called effect-utils.
  ☆31Updated 10 months ago
• typelevel / bobcats
  Typelevel's very own CryptoKitties!
  ☆28Updated 3 weeks ago
• davenverse / mapref
  Ref Optimized Around Maps
  ☆25Updated 8 months ago
• armanbilge / epollcat
  minimum viable runtime
  ☆66Updated this week
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆76Updated last year
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆83Updated 3 years ago