Alternatives and similar repositories for BoogieLoops

Users that are interested in BoogieLoops are comparing it to the libraries listed below

• arainko / chanterelle
  chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.
  ☆33Updated this week
• indoorvivants / scala-native-binary-template
  Template to bootstrap Scala Native CLI projects, uploading platform binaries to Github Releases artifacts
  ☆23Updated 3 months ago
• armanbilge / fs2-io_uring
  they see me ringin'
  ☆62Updated 9 months ago
• neandertech / cue4s
  CLI prompts in Scala 3, available on JS, JVM, and Native platforms
  ☆43Updated last month
• neandertech / smithy4s-deriving
  Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.
  ☆25Updated last year
• zainab-ali / aquascape
  Alternative fs2 docs
  ☆38Updated last month
• TomasMikula / jing
  Typesafe, spec-first APIs without codegen. Just Import 'N' Go!
  ☆49Updated last month
• tschuchortdev / hkd4s
  Higher Kinded Data for Scala 3
  ☆51Updated 7 months ago
• iRevive / union-derivation
  A micro-library to derive a typeclass for Scala 3 Union types.
  ☆36Updated this week
• http4s / http4s-grpc
  ☆43Updated this week
• indoorvivants / tasty-query-sql
  ☆18Updated 9 months ago
• altoo-ag / scala-kryo-serialization
  kryo-based serializers for Scala
  ☆18Updated last month
• noelwelsh / mads
  Markdown String Interpolator for Scala 3
  ☆19Updated 4 years ago
• typelevel / cats-effect-shell
  Command line debugging console for Cats Effect
  ☆19Updated last year
• Quafadas / dedav4s
  Declarative Data Viz 4 Scala
  ☆53Updated 2 weeks ago
• bishabosha / ops-mirror
  Type class derivation for services, not data
  ☆38Updated 11 months ago
• djspiewak / kitteh-redis
  A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec
  ☆43Updated 3 years ago
• creativescala / terminus
  Terminal interaction for Scala
  ☆36Updated 8 months ago
• outr / lightdb
  Bare Metal Modular Database
  ☆60Updated this week
• MouslihAbdelhakim / sicrograd
  Scala implementation of Micrograd. A tiny scalar-valued autograd engine and a neural net implementation.
  ☆28Updated 8 months ago
• armanbilge / epollcat
  minimum viable runtime
  ☆65Updated 10 months ago
• geirolz / secret
  A functional, type-safe and memory-safe class to handle secret values
  ☆29Updated last week
• ekrich / sblas
  Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
  ☆35Updated last month
• indoorvivants / sn-bindgen-examples
  Examples of using Scala 3 Native to interop with various C libraries using sn-bindgen
  ☆29Updated 2 months ago
• MateuszKubuszok / pipez
  Generate type mappers for your own type class
  ☆13Updated 2 years ago
• killaitis / peloton
  An actor library for Cats Effect
  ☆32Updated this week
• neandertech / dexsearch
  CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM
  ☆40Updated last year
• softinio / scalanews
  Scala News - A Community Crowd Sourced newsletter using RSS
  ☆38Updated 3 months ago
• VirtusLab / avocADO
  Safe compile-time parallelization of for-comprehensions for Scala 3
  ☆90Updated last year
• agboom / sbt-steps
  Configure CI intelligently across sbt projects. Run locally or from GitHub Actions with a single command. Generate summaries in HTML.
  ☆22Updated 3 weeks ago