is an Iranian online marketplace for buying and selling books, especially used ones. I have developed the web app in my spare time and currently working on an Android app for it.
ConGen: Event-B to Dafny Contract Generator
It is a Rodin plugin for transforming Event-B formal models to Dafny code contracts. I developed the plugin as part of my research
. The source code can be found on Github