Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores: * https://github.com/tlaplus/tlaplus/blob/master/tlatools

Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores: * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/tlc2/value/impl/SubsetValue.tla https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/tlc2/tool/fp/OpenAddressing.tla https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https://github.com/lemmy/PageQueue https://github.com/lemmy/PageQueue