Alternatives and similar repositories for scala-logic

Users that are interested in scala-logic are comparing it to the libraries listed below

• runarorama / scala-bound
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Updated 6 years ago
• 47degrees / scala-commas
  A compiler plugin to add support for trailing commas in Scala 2.11
  ☆36Updated 8 years ago
• cvogt / flow-comprehensions
  Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax
  ☆25Updated 9 years ago
• tarao / lambda-scala
  Type level lambda calculus in Scala
  ☆33Updated 10 years ago
• travisbrown / abstracted
  Forget your methods
  ☆41Updated 7 years ago
• julien-truffaut / brique
  Data structure experimentation in scala
  ☆15Updated 10 years ago
• tototoshi / sbt-build-files-watcher
  show message when sbt build files changed
  ☆27Updated 7 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆75Updated 9 years ago
• m-doc / html2pdf
  ☆10Updated 9 years ago
• non / junkion
  Library that provides those stupid little IO utility methods you always end up needing.
  ☆26Updated 7 years ago
• bmjames / scala-optparse-applicative
  Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…
  ☆72Updated 7 years ago
• adelbertc / tfm
  tagless final macro
  ☆18Updated 9 years ago
• xuwei-k / ghscala
  purely functional scala github api client
  ☆25Updated 2 months ago
• runarorama / kex
  Extensible protocols for Scala
  ☆13Updated 8 years ago
• jrudolph / bytecode
  Mnemonics - Bytecode generation for scala
  ☆22Updated 12 years ago
• xuwei-k / sbt-jshell
  sbt jshell plugin
  ☆14Updated 2 weeks ago
• erikerlandson / gnuplot4s
  A well typed scala interface to gnuplot
  ☆10Updated 3 years ago
• TomasMikula / hasheq
  Typeclass-based HashSet/HashMap for Scala
  ☆31Updated 8 years ago
• scalacenter / sbtfix
  Scalafix rewrites to migrate from sbt 0.13 to 1.0.
  ☆23Updated 7 years ago
• alexarchambault / shapeless-refined-std
  Type-level API for standard collections
  ☆33Updated 9 years ago
• Frege / sbt-frege
  Frege support for sbt
  ☆53Updated last week
• mandubian / scalaeff
  ☆35Updated 9 years ago
• adelbertc / aiyou
  IO types and classes for Scala.
  ☆42Updated 8 years ago
• typelevel / shapeless-contrib
  Interoperability libraries for Shapeless
  ☆77Updated 8 years ago
• non / cats-check
  Cats instances for ScalaCheck data types
  ☆19Updated 8 years ago
• scala-search / scaps
  Scala API Search
  ☆38Updated 9 years ago
• liufengyun / gestalt
  gestalt : portable and solid macros for Scala
  ☆31Updated 7 years ago
• manojo / parsequery
  A fast parser combinator library, with extra querying goodness
  ☆34Updated 8 years ago
• xuwei-k / usagi
  rabbitmq client in scalaz-stream
  ☆14Updated 2 years ago
• travisbrown / expressier
  A regular expression type provider demo
  ☆40Updated 9 years ago