validity-predicates topic

List validity-predicates repositories

juvix

448
Stars
54
Forks
Watchers

A language for intent-centric and declarative decentralised applications