# elastic/elasticsearch-formal-models

<https://repo.masters-masters.com/en/repos/elastic/elasticsearch-formal-models>

[Home](https://repo.masters-masters.com/en) › [elastic](https://repo.masters-masters.com/en/owners/elastic) › [elasticsearch-formal-models](https://repo.masters-masters.com/en/repos/elastic/elasticsearch-formal-models)

elastic/elasticsearch-formal-models has 216 stars on GitHub. Its RepoMasters card: Prototype tier. Formal models of core Elasticsearch algorithms

| Field | Value |
| --- | --- |
| Owner | [elastic](https://repo.masters-masters.com/en/owners/elastic) |
| Stars | 216 |
| Forks | 24 |
| Language | [Isabelle](https://repo.masters-masters.com/en/languages/isabelle) |
| License | Apache-2.0 |
| Created | 2016 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [elastic/elasticsearch-formal-models](https://github.com/elastic/elasticsearch-formal-models) |

## Repository

Formal models of core Elasticsearch algorithms

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by elastic

- [elastic/elasticsearch · ★ 78,481 · Java · LTS](https://repo.masters-masters.com/en/repos/elastic/elasticsearch)
- [elastic/kibana · ★ 21,355 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/elastic/kibana)
- [elastic/logstash · ★ 14,971 · Java · Stable](https://repo.masters-masters.com/en/repos/elastic/logstash)
- [elastic/beats · ★ 12,650 · Go · Stable](https://repo.masters-masters.com/en/repos/elastic/beats)
- [elastic/eui · ★ 6,381 · TypeScript · Stable](https://repo.masters-masters.com/en/repos/elastic/eui)
- [elastic/go-elasticsearch · ★ 6,072 · Go · Stable](https://repo.masters-masters.com/en/repos/elastic/go-elasticsearch)

## Nearby in Isabelle

- [seL4/l4v · ★ 659 · Isabelle · Alpha](https://repo.masters-masters.com/en/repos/seL4/l4v)
- [pirapira/eth-isabelle · ★ 245 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/pirapira/eth-isabelle)
- [au-ts/cogent · ★ 184 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/au-ts/cogent)
- [marlowe-lang/marlowe · ★ 174 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/marlowe-lang/marlowe)
- [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/seL4/isabelle)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.