No, it has not dissolved. Development is closer than ever actually. The problem is most people who bought into the project early on probably were not qualified to understand the heavily technical code base and computer science behind the project.

I myself am fortunate to come from a background which allowed me to identify the value of the idea and of the code currently being developed. To understand the value from a technical point of view you require a computer science degree or even a Phd in some cases or equivalent experience.

The code on Github reveals the progress which is happening:
https://github.com/IDNI/tau

For the less technically inclined what you can see on Github is the attempted implementation of partial fixed point logic as pfp.cpp and an attempt to implement the partial evaulator as lppe.c.

If you can read C++ and C then you can see that what is discussed is currently being implemented and tested. So for that reason I'm more confident now than I was when I originally wrote this blog post. But for people who do not understand what is at stake or the technical details I have to say I don't blame you if you decide to sell. I just hope you don't regret it like the people who sold Ethereum at $1-2 or the people who sold Bitcoin at $1 etc.

I'm not going to sell any time soon. If we can get an implementation of this project then yes $100 is easily possible. More important is if we can get an implementation then there might not be a reason to sell even at $100 because that might be too cheap. It all depends on how powerful Agoras can be and if you know the technology well enough how much patience you have.