Alternatives and similar repositories for sec

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

• djspiewak / skolems
  A microlibrary for Scala encodings of higher-rank quantifiers
  ☆59Updated 5 years ago
• davenverse / rediculous-concurrent
  Distributed Concurrent State Machines with Rediculous/Redis
  ☆21Updated last year
• wix-incubator / zorechka-bot
  Github bot for keeping your Bazel dependencies up-to-date and clean
  ☆27Updated 5 years ago
• optics-dev / Monocly
  Optics experimentation for Dotty
  ☆32Updated 3 years ago
• thesamet / AnyHike
  AnyHike: Example project for ZIO-GRPC
  ☆18Updated 5 years ago
• svalaskevicius / eventflow
  cqrs+es in scala
  ☆45Updated 7 years ago
• edvmorango / event-driven-messenger
  ☆43Updated 6 years ago
• freskog / stm-partitioning
  All the code from the blog post about exploring STM in ZIO.
  ☆18Updated 5 years ago
• sloshy / fs2-es
  Event sourcing utilities for FS2
  ☆80Updated 10 months ago
• barambani / http4s-poc-api
  POC: http4s http api on zio
  ☆36Updated 2 years ago
• jdegoes / scalaua-2019
  The workspace for ScalaUA 2019 presentation, "Thinking Functionally"
  ☆57Updated 6 years ago
• kubukoz / flawless
  WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!
  ☆37Updated 3 months ago
• nuttycom / xenomorph
  Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.
  ☆108Updated 6 years ago
• julienrf / effects-without-monads-but-with-dotty
  ☆37Updated 5 years ago
• adamgfraser / solving-the-dependency-injection-problem-with-zio
  ☆34Updated 5 years ago
• kubukoz / videos
  ☆27Updated last year
• davenverse / whale-tail
  A Docker client that hopefully won't be a pain in the butt.
  ☆14Updated last year
• adelbertc / gazette
  Toy project serving to illustrate that it's possible to write pure functional systems in Scala.
  ☆40Updated 10 years ago
• scalaz / scalaz-plugin
  A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
  ☆73Updated 6 years ago
• vil1 / recursion-schemes-lc2018
  Rrecursion schemes without the barbed wire
  ☆24Updated 7 years ago
• armanbilge / bayou
  An enhanced Trace for IO
  ☆20Updated 2 years ago
• minosiants / pencil
  Simple smtp client
  ☆49Updated 2 years ago
• iravid / fs2-kafka-streams
  A library to provide building blocks for stateful stream processing with FS2 over Kafka
  ☆25Updated 6 years ago
• TypeChecked / alphabet-soup
  Type calculations at compile time
  ☆40Updated 5 years ago
• TimPigden / zio-http4s-examples
  Working through how to do http4s via zio
  ☆33Updated 4 years ago
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 5 months ago
• marcinzh / skutek
  Extensible effects for Scala
  ☆37Updated 3 years ago
• ChristopherDavenport / cats-par
  Abstract Type Member Parallel Instances
  ☆61Updated 5 years ago
• jdegoes / fp-to-the-min
  Code for FP to the Min talk at Scala in the City Conference.
  ☆53Updated 5 years ago
• ghik / zerowaste
  Scala compiler plugin to detect unused expressions
  ☆66Updated last month