<https://github.com/ctongfei/nexus>

# mathematics

[breandan]

https://github.com/ctongfei/nexus

[altavir]

Thanks. Looks interesting. It is using very similar design to kmath only with Scala type calasses instead of contexts and generic specialization instead of inlines.

[breandan]

Yeah, it's a type-level encoding of the same basic ideas https://arxiv.org/pdf/1710.06892.pdf

[altavir]

Now I have another comparison of type classes and contexts. And in my case contexts have state which type classes can't have😁