verifiable credentials library

Dear all, 

I was wondering if there is any interest in a new/additional verifiable credentials software library. I know there are some existing libraries like IDEMIX and some Hyperledger projects but none of them seems complete (or actively maintained). Some of them lack communication layer (prover-verifier), some ZKP layer (representation proofs, range proofs, opening of commitments ... ), some lack attributes (claims). Neither is complete the library we are working on [1]. However, we aim to make it a general attribute-based credentials library which might be used in the use cases that are being discussed on this list too. Any hints for which libraries you are using right now and what are the desired functionalities are welcome! 

Best, 
Miha 

[1] https://github.com/xlab-si/emmy