A Commander for modern Go CLI interactions

Go35599apache-2.0

2 months ago

clicli-appcobra

command argument completion generator for spf13/cobra

Go166apache-2.0

3 months ago

bashcarapacecobra

A framework for smart contract verification in Coq

Coq98mit

7 months ago

blockchaincoqsmart-contracts