Cardano is a highly secure blockchain written in Haskell. It allows formal verification of code, and easy extensibility through a layered architecture. Cardano's technology is built from peer-reviewed research at some of the world's foremost universities.

After more than two years of planning and development, we're delighted to announce that the Cardano blockchain was publicly launched on the 29th September 2017. Cardano's Ada token was then made available for trading on the 1st October at Bittrex exchange.

On this subreddit you can learn more about the project, understand its great potential and engage in the worldwide Cardano community!

This project has been public (but not so well know in the Cardano community) for a while now (you can tell the repository you linked is actually a fork from tweag/asterius and Tweag historically has worked closely with IOHK). Charles has mentioned this project indirectly in the past also notably in the context of compiling Plutus contracts to WebAssembly.

All these wasm projects are cool (different but check out the recently unveiled https://github.com/lumen/lumen from Elixir/Erlang side of things). Btw, where is the connection to EOS especially why only EOS (if it's the WA part)?

I’m pretty sure Haskell to WASM is only being used for Plutus to client-side dApp code for now. I don’t remember hearing that Cardano smart contract nodes will be able to read WebAssembly. Also just because two systems can read webassembly doesn’t mean they are magically interoperable. The two systems might not use the same data protocols.