Levinswap, developed & maintained by the LightningDAO, is an AMM DEX on the xDai chain. Its uniqueness comes from the ability to trade securities tokens, specifically, tokenized real estate tokens. Practical implementation: levinswap.realt.community/