Whiley Demo @ Oracle Labs!!

Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube:

The actual demo itself starts around 11:30s, so you might want to skip on to that.

The talk was part of a series of talks I did at various locations across . . . → Read More: Whiley Demo @ Oracle Labs!!

Web IDE gets a Face Lift!

The web IDE for Whiley is the easiest way to run Whiley, and it’s even better after a little face lift!  Here’s the obligatory screenshot:

You can run this on your local machine by cloning the Github repo and running ant run from the command-line.  For now, you can also try it out . . . → Read More: Web IDE gets a Face Lift!

Whiley v0.4.1 released!

The next release of the Whiley Development Kit is upon us.  This is about six months since the last official release and, in the meantime, a lot has been going on!  For example, there have been more than ten releases of the Whiley Compiler (WyC) itself on Maven central.  The main updates are:

RFCs.  . . . → Read More: Whiley v0.4.1 released!