Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Packages for defining APIs, running them, generating client code and documentation.
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Initialise scaffolding for a new Elm project