Repository Index

A group to which a class can be assigned for custom styling

• directus
• directus-custom-interface
• directus-extension
• group

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

clinfer (short for CLI inference) automatically generates CLIs from standard JS objects, classes or ES modules. Each method generates a "command", and each field an "option". The help is produced automatically.

• cli
• command-line-tool
• parser
• args