Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Repository Index
47,133 repositories indexed
73–75 of 75 · Most stars
Initial development of Kubernetes configuration for IBI Datatools
minimal aws signature version 4 implementation for micropython/embedded use.