if I understand correctly you're looking for TLA specifications and corresponding code that implements them? If so, there's a bunch of TLA models here:
https://github.com/dfinity/tla-models
These model different components of the Internet Computer blockchain. All the corresponding source code is here:
https://github.com/dfinity/ic
Some code is fairly close to the model, for some the model is rather abstract and the code is strewn all over the repository. Also note that for most (though not really all) of these models the code came first, i.e., the verification was post-hoc. I don't know if that fulfills your definition of "clone".
Cheers,
OgnjenOn Friday, December 1, 2023 at 11:46:26 AM UTC+1 Shun Le Yi Mon wrote:I am looking for all kinds of specifications. My project involves identifying, analysing and evaluating code clones from all kinds of TLA+ specifications.On Wednesday, November 29, 2023 at 6:24:15 PM UTC Andrew Helwer wrote:What sort of specifications are you looking for? What is clones analysis?AndrewOn Wednesday, November 29, 2023 at 11:03:16 AM UTC-5 Shun Le Yi Mon wrote:Hi everyone,I am a final year undergraduate computer science student working on TLA+ specification clones analysis as my final year project. I am searching for more TLA+ specifications to analysis. I have gathered specifications from https://github.com/tlaplus/Examples. It would be my great pleasure if you have and/or are willing to share specifications you know and/or created.If you have any questions related to me, the project or how I will be using the specifications, please let me know and I am more than happy to answer them all.Thanks for your time.