complexity topic
List
complexity repositories
data_structures
17
Stars
0
Forks
Watchers
Destinado para compartilhar alguns conhecimentos, enquanto estou aprendendo. Estrutura de dados/complexidade.
coq-big-o
34
Stars
1
Forks
Watchers
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
agda-calf
51
Stars
4
Forks
Watchers
A cost-aware logical framework, embedded in Agda.
code-complexity
277
Stars
27
Forks
Watchers
Measure the churn/complexity ratio. Higher values mean hotspots where refactorings should happen.
churn-php
1.4k
Stars
57
Forks
Watchers
Discover files in need of refactoring.
algodeck
5.5k
Stars
557
Forks
Watchers
An Open-Source Collection of 200+ Flash Cards to Help You Preparing Your Algorithms & Data Structures Interview 💯
phpinsights
5.2k
Stars
273
Forks
Watchers
🔰 Instant PHP quality checks from your console
antropy
265
Stars
52
Forks
Watchers
AntroPy: entropy and complexity of (EEG) time-series in Python
mccabe
625
Stars
59
Forks
Watchers
McCabe complexity checker for Python