The following people have made core contributions to Apalache:
- Igor Konnov:
- Informal Systems (Austria) 2020-2023,
- Interchain Foundation (Switzerland) 2019,
- INRIA Nancy (France) 2018-2019,
- TU Wien (Austria) 2016-2018.
- Jure Kukovec:
- Informal Systems (Austria) 2021-2023,
- TU Wien (Austria), 2016-2021.
- Shon Feder: Informal Systems (Canada), 2020-2023.
- Gabriela Moreira: Informal Systems (Brazil), 2021-2023.
- Thomas Pani: Informal Systems (Austria), 2022-2023.
- Rodrigo Otoni: USI Università della Svizzera italiana (Switzerland), 2021-2022.
- Philip Offtermatt: Informal Systems, 2022.
- Andrey Kuprianov: Informal Systems (Austria) 2020.
- Thanh Hai Tran: TU Wien (Austria), 2016-2020.
- Viktor Sergeev: Univ. of Lorraine (France), 2019.
Further, we appreciate code and documentation contributions by:
- @BGR360 Ben Reeves, 2022-2023.
- @Alexander-N Alexander Niederbühl, 2021.
- @rnbguy Rano, 2021-2022.
- @klinvill Kirby Linvill, 2021.
- @JonathanLorimer Jonathan Lorimer, 2021.
- @danwt Daniel T, 2021.
- @jlu015 Jørgen Lund, 2019.