PrototypeCommune
elastic/elasticsearch-formal-models
Formal models of core Elasticsearch algorithms
Archivé : ce dépôt n’évolue plus
- Propriétaire
- elastic (organisation)
- Étoiles
- Étoiles : 216
- Forks
- Forks : 24
- Langage
- Isabelle
- Licence
- Apache-2.0
- Création
- 2016
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de elastic
Les 107 dépôts de elastic- elastic/elasticsearchÉtoiles : 78 472JavaLTS
- elastic/kibanaÉtoiles : 21 355TypeScriptLTS
- elastic/logstashÉtoiles : 14 972JavaStable
- elastic/beatsÉtoiles : 12 649GoStable
- elastic/euiÉtoiles : 6 380TypeScriptStable
- elastic/go-elasticsearchÉtoiles : 6 071GoStable
D’autres dépôts Isabelle
Tous les dépôts Isabelle- seL4/l4vÉtoiles : 659IsabelleAlpha
- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype