Docs and tryout:
https://dk14.github.io/mega-peers/docs/#/dslIt is part of a larger initiative (truly decentralized oracles MVP, use PoW to certify facts):
https://dk14.github.io/mega-peers/docs/front.htmlSources and donations:
https://github.com/dk14/mega-peers/----
The key feature, aside from being able to support any contract on BTC, is that this DSL does a type-check to prevent "perfect hedges", that result in funds unintentionally locked (for a duration) in contracts... for no reason. It removes illusion of profiting regardless of outcome - no free lunch.
-----
Related. I conceptually developed better use for PoW for fact certification. If you like Magic Peers and Discreet - feel free to check this concept out:
https://www.upwork.com/services/product/development-it-yaqui-p2p-search-engine-standalone-web-2007000568819406128-----
Disclaimer: I developed projects above initially for Cardano and Wolfram (as a short-term gig). I am not a fan of neither, so I figured better to continue them with Bitcoin community, since everything is open-source and neither Cardano nor Wolfram have resources/competence to lift it off. Plus, I convinced them to target BTC too (so everything is catered to BTC in there), since what they wanted wasn't really appropriate: their own services are low-quality and unreliable, politely speaking. They invest into ads much more than tech.