I haven't had a lot of time to write about the latest Tezos updates lately, but here a recap of the latest:

• The Electis project "“Universities for e-voting” is a project creating a voting application for communities called Electeez, based on and powered by the Tezos Blockchain."
  This project is being build by a community of students and academics from 25+ universities around the world. This voting application will be used for university elections and can be used as a world-wide voting mechanism. (As it was already used in the prototype testing last February) 
  The project is still in its early stages. But its goal is to make elections transparent (while voters still can vote privately), trust-less (which is of great importance in elections obviously) and immutable preventing election fraud. The ultimate democratic dream app.
• $10,000 USDtz has been minted. USDtz is a Tezos-based stablecoin which gives people that want to trade back and forth to stablecoins lower fees than stablecoins that live on other chains. No cross-chain transactions are needed for USDtz if traded for XTZ or used for other DeFi applications. The total supply has been a slow but steady growth. Obviously the growth will speed up once the ecosystem evolves and platforms like DEXter exchange go live. Another incentive for people to get more of an interest in USDtz, is the fact that a staking feature will be added soon. One can then earn SABZ tokens, which is the governance token for USDtz.
• Speaking of DEXter: DEXter is a decentralized exchange that is being build on Tezos by camlCase. The launch date was supposed to be in June, but was pushed back due to improvements that were needed after an external audit provided important feedback. It is now expected to be launched in August. Simultaneously with a new wallet named Magma. (Previously named Phoenix, but renamed because another crypto wallet was already using the name Phoenix.) 
• Ganache-CLI now available for Tezos development. This simulates the Tezos blockchain and makes testing smart contracts a lot easier. Ganache is an important tool that is often used for Ethereum. The fact it is now available on Tezos, is another great step into the right direction. Ethereum-focused Truffle Suite already added Tezos as first non-ETH. Later followed by Magic SDK, which initially also only focused on Ethereum. The fact that these Ethereum tools expand their focus and include Tezos out of all other smart contract platforms, is a promising sign. (Especially since this results of popular demand from the developers community.)
• Equisafe announces to start working with Mi-Cho-Coq, wich is a Coq framework for verifying the functional correctness of Michelson smart contracts. Paper on Mi-Cho-Coq here.