4 ms·

https://nyan.global https://nyan.global An EVM disassembler and formal smart contract verifier (got bored, abandoned) https://atomictessellator.com https://ato

• tremarley 4y ago
  Do either of your websites work? They look cool. Do you have any contact details? Twitter?
  • malux85 4y ago
    Yes both work, the GUI for nyan is nearly complete, it allows inspecting the basicblocks and control flow graph of the smart contract atomictessellator is about 90% functional, you can run experiments, simulations, and view results, it's probably "OK" to launch as a general product, but I'm really working on more advanced catalyst modelling right now. The distributed computing parts are working, I've partnered with a few hosting providers that have given me free computing power and the systems are running molcular optimizations now, and every few days I pull the results back locally and import them. I'm really excited about this stuff because there's so much opportunity for industrial optimisation in mastering small molecule chemistry, and existing tools are very poor and very silo'd I dont use twitter, you can email me alain [at] atomictessellator dot com