Repository Index

High level commands to declare a hierarchy based on packed classes

• mathcomp
• coq
• elpi

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

A flexible and powerful command-line parser for go

• cli
• command-line
• commands
• flags