validity-predicates topic
List
validity-predicates repositories
juvix
448
Stars
54
Forks
Watchers
A language for intent-centric and declarative decentralised applications