Delphi 11 Alexandria Has Been Released

• ZIO

  23 3,694 9.8 Scala

  ZIO — A type-safe, composable library for async and concurrent programming in Scala

  

  please show me something like this: https://akka.io/ or this: https://zio.dev/ or this: https://github.com/milessabin/shapeless

• Shapeless

  4 3,313 7.9 Scala

  Generic programming for Scala

  please show me something like this: https://akka.io/ or this: https://zio.dev/ or this: https://github.com/milessabin/shapeless

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• Akka

  13 12,594 9.7 Scala

  Build highly concurrent, distributed, and resilient message-driven applications on the JVM

  

  please show me something like this: https://akka.io/ or this: https://zio.dev/ or this: https://github.com/milessabin/shapeless

• scala-newtype

  0 525 0.0 Scala

  NewTypes for Scala with no runtime overhead

  

  These are easily achived by this lib: https://github.com/estatico/scala-newtype Coq also can have even more advanced types.

Suggest a related project