News of Hysoft RSS

2013-12-12

2013-12-12 21:07 (by green_12512)

I'm moving software projects portal to github, because github is much easier than sourceforge.jp. So, if the website has been moved, the website in here will be a redirect page.

2013-08-07

2013-08-07 22:05 (by green_12512)

Hi, I created VDM++ Syntax for Kate.
VDM++ is a one of Formal Methods. It looks like Programming language (But, not programming language. It is similar to UML.), and it is not mathematics looks.
However, There is a few editors supporti (Montrer plus...)

2013-01-25

2013-01-25 14:26 (by green_12512)

My gnupg secret key has been lost for my mistake. I'm re-generating new one, so please wait a while.
The old key will be expired on 13, Jan. 2013.

I'm sorry for this inconvenience.

*) Renewing key has finished.
Archive par année
2009 / 2010 / 2011 / 2012 / 2013