vstyle

appliedfm

A style guide for Coq

style-guide ocaml

View on GitHub Website

18 Stars

0 Forks

1 Watchers

mit License

54.2 SrcLog Score

Cost to Build

$35.0K

Market Value

$27.2K

How is this calculated?

Growth over time

14 data points · 2022-01-01 → 2026-08-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about vstyle

Question copied to clipboard

What is the appliedfm/vstyle GitHub project? Description: "A style guide for Coq". Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone vstyle

Clone via HTTPS

git clone https://github.com/appliedfm/vstyle.git

Clone via SSH

[email protected]:appliedfm/vstyle.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the vstyle issue tracker:

Open GitHub Issues

Similar to vstyle

javascript standard nodebestpractices ruby-style-guide git-style-guide elixir_style_guide react-redux-typescript-guide js vuejs-component-style-guide codelyzer styleguide-generators eslint-config-standard livingstyleguide swift-style-guide catalog PowerShellPracticeAndStyle awesome-style-guide css styleguide-git-commit-message Guide ue5-style-guide css-style-guide-audit ruby-style-guide riotjs-style-guide a11y-style-guide git-cop iOS-handbook eslint-config-standard-react aigis awesome-standard