PrototypeCommon
elastic/elasticsearch-formal-models
Formal models of core Elasticsearch algorithms
Archived: this repository is read-only
- Owner
- elastic (organization)
- Stars
- Stars: 216
- Forks
- Forks: 24
- Language
- Isabelle
- License
- Apache-2.0
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by elastic
All 107 repos by elastic- elastic/elasticsearchStars: 78,481JavaLTS
- elastic/kibanaStars: 21,355TypeScriptLTS
- elastic/logstashStars: 14,971JavaStable
- elastic/beatsStars: 12,650GoStable
- elastic/euiStars: 6,381TypeScriptStable
- elastic/go-elasticsearchStars: 6,072GoStable
Nearby in Isabelle
All Isabelle repos- seL4/l4vStars: 659IsabelleAlpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype
- seL4/isabelleStars: 143IsabellePrototype