Delphi 11 Alexandria Has Been Released

• ZIO

  59 3,987 9.5 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

  13 3,363 7.5 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

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Akka

  33 12,921 9.4 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

  4 539 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