Coq - 30 métricas y puntuación AHP
Coq es un lenguaje de programación Functional, Declarative, Dependent Types que apareció por primera vez en 1989, diseñado por INRIA. Casos de uso principales: Theorem Proving, Formal Verification, Academic Research.
Introducción
Coq es un lenguaje de programación Functional, Declarative, Dependent Types que apareció por primera vez en 1989, diseñado por INRIA. Casos de uso principales: Theorem Proving, Formal Verification, Academic Research.
30 métricas
| Métrica | Valor | Rango |
|---|---|---|
| GitHub Stars | 18390 | 174 |
| Stack Overflow Tags | 274108 | 158 |
| TIOBE Rank | 129 | |
| RedMonk Rank | 140 | |
| PYPL Rank | 141 | |
| Average Salary (USD) | 61766 | 180 |
| Job Postings | 15503 | 144 |
| Benchmarks Score | 0.51 | 107 |
| Learning Curve | Easy | |
| Community Size | Medium | |
| Documentation Quality | 1 | |
| Ecosystem Maturity | 4 | |
| Industry Adoption | 2 | |
| Type System Complexity | 1 | |
| Concurrency Support | 4 | |
| Performance - Execution Speed | 5 | |
| Performance - Memory Usage | 6 | |
| Performance - Startup Time | 6 | |
| Tooling Quality | 1 | |
| Package Manager Quality | 3 | |
| IDE Support | 1 | |
| Debugging Experience | 1 | |
| GitHub Stars Rank | 174 | |
| Stack Overflow Tags Rank | 158 | |
| Average Salary Rank | 180 | |
| Job Postings Rank | 144 | |
| Benchmarks Rank | 107 | |
| Learning Curve Score | 10 | |
| Community Size Score | 4 | |
| AHP Score | 3.79 | 149 |
Ejemplo Hola Mundo
Goal True. Proof. reflexivity. Qed.
Casos de uso principales
- Theorem Proving
- Formal Verification
- Academic Research
Frameworks populares
- Coq Standard Library
- MathComp
Puntuación AHP
Coq Puntuación AHP: 3.79 (#149)