https://styx.network/ is a pseudonymous stablecoin project based on Simplicity that we’ve come across run by a user named Χάρων (the original Greek spelling of Charon).
It was originally posted as a self-contained site with covenant source code but without a corresponding source repository or build tools, making it impractical to “verify the covenant” because the parameter values used to instantiate it (param::) weren’t specified, notably the values of the trusted oracle keys that confirm the currency peg price data.
Now there is also a source repository with some more data and details
which would make it easier to try out interacting with this contract, and also a web-based explorer for the deployment of the protocol on Liquid Testnet.
I haven’t tried this out but I wanted to draw some more attention to it and encourage people to have a look. It looks like a fairly large amount of effort using SimplicityHL.
Χάρων, if you’re reading this, feel free to join the forum and talk about your project here!