Windows software

This page contains a number of downloadable programs I've written. They are all intended to be run on Windows machines.

If you have any queries, bug reports or problems with any of them, please feel free to e-mail me. I can also supply source code to anyone interested. There's no charge for using any of them, but I retain copyright, so please let me know if you intend to distribute any altered versions.

Finally, they've all undergone an appalling testing regime, which involved me running them on my work computer and then uploading them. So don't be surprised if they completely fail to work. I don't think I've even had time to write help files (so installation is an exercise for the reader).

As you can see, Windows hasn't been my main priority here. If you think they look interesting but would like a help file or some help in running them, let me know and I'll get my arse into gear!

RSS feed An RSS feed of this Windows software is available.


  • Aniketos-SSVV Aniketos-SSVV
    Version 0.01 (25 May 2014) for Linux and Windows.
    Validates the security properties of Web Service compositions. Provide a composition in the form of a BPMN process with Web Services bound to service tasks and a security policy, and the SSVV toolchain will verify the processes against the security policy, ordering them based on security.
    Download: source, screenshot.
  • Dandelion Dandelion
    Version 1.00 (8 Aug 2013) for Linux and Windows.
    Dandelion is an Open Source 3D graph rendering application that can be controlled across the network. It's main purpose is to allow clear network graphs to be rendered in a window, which can be controlled by a separate application or the user. More info...
    Download: binary, source, screenshot.
  • Knot3D Knot3D
    Version 0.00 (1 Jul 2013) for Linux and Windows.
    Knot3D is an open source Celtic knot rendering application. It'll render standard knots on a 2D plane with a 3D weave. It also generalises these to allow proper 3D knots to be rendered. More info...
    Download: binary, source, screenshot.
  • ConSpecEdit ConSpecEdit
    Version 0.00 (2 Jun 2013) for Linux and Windows (Eclipse).
    ConSpecEdit is an open source (LGPL) Eclipse plugin that integrates with the Eclipse workbench and allows ConSpec XML files to be loaded in, edited, saved out and managed within other Eclipse projects. The editor provides a user interface for making changes to the ConSpec file. More info...
    Download: binary, source, screenshot.
  • Curves Library Curves Library
    Version 0.01 (5 May 2012) for Linux and Windows.
    Curves is a library for rendering curves in 3D using OpenGL. It allows a variety of curves to be rendered including Bezier tubes and arbitrary curves that follow a parametrically defined path function and with a parametrically defined radius. More info...
    Download: source, screenshot.
  • MazeGame MazeGame
    Version 1.002 (20 Dec 2011) for Windows.
    Simple XNA maze game used as a demonstration for first year games students. The game uses a grid-based world, with a random procedurally-generated 2-sided maze that's always guaranteed to have a solution path to the goal. More info...
    Download: binary, screenshot.
  • Functy Functy
    Version 0.22 (25 Jun 2009) for Linux and Windows.
    Functy is an open source 3D graph drawing package built using OpenGL and GTK+2. The emphasis for the application is to allow Cartesian and spherical functions to be plotted and altered quickly and easily. This immediacy and the vivid results are intended to promote fun exploration of 3D functions. More info...
    Download: binary, source, screenshot.
  • Symbolic Library Symbolic Library
    Version 0.21 (15 Jun 2009) for Linux and Windows.
    Symbolic is a library for manipulating mathematical expressions. Expressions are stored in a structured symbolic form allowing various operations to be performed on them, such as simplification, differentiation and simple theorem proving. It's used by Functy, so at the moment the projects live together in the same place. More info...
    Download: source.
  • Beacon Beacon
    Version 0.52 (16 Jun 2005) for RISC OS and Windows.
    A couple of programs that allow servers to be converted into clients. The main component is a piece of software that sends connection requests to a specific machine on a regular basis, and acts as a proxy if connected to. Useful for accessing a server through a firewall or NAT. More info...
    Download: source.
  • Decrypt Decrypt
    Version 1.01 (11 Sep 2004) for RISC OS and Windows.
    This set of programs is intended to be used for digital business cards. It allows files to be AES (Rijndael) encrypted, so that they are individually accessible only via single-use passwords (transmitted using 168 bit Elliptic Curve Diffie-Hellman key swapping). In this way you can give people access only to certain parts of the information on the card. RISC OS and Windows front ends are included, and the code should compile for others, but requires the excellent MIRACL library.
    Download: source, screenshot.
  • IDCard IDCard
    Version 1.01 (20 Aug 2004) for RISC OS and Windows.
    This is an example ID card implementation using AES (Rijndael) encryption, SHA hashing and discrete logarithmic asymmetric signing. Its important features are that cards cannot be forged, and personal data can only be verified using the card, it cannot be directly read from it. See the thoughts page for more details. Executables are included for RISC OS and Windows, and the code should compile for others, but requires the excellent MIRACL library. More info...
    Download: source, screenshot.
  • Srambcle Srambcle
    Version 1.00 (15 Sep 2003) for Windows.
    "Aoccdrnig to a rscheearch at Cmabrigde Uinervtisy, it deosn't mttaer in waht oredr the ltteers in a wrod are, the olny iprmoetnt tihng is taht the frist and lsat ltteer be at the rghit pclae. The rset can be a total mses and you can sitll raed it wouthit a porbelm. Tihs is bcuseae the huamn mnid deos not raed ervey lteter by istlef, but the wrod as a wlohe. Atfer rieicevng the eamil aovbe, I tuohght it'd be a good ieda to witre a pgorram to test the trehoy out!
    Download: binary, screenshot.
  • Magnus Magnus
    Version 0.00 (22 May 2003) for Windows.
    The beginnings of a game I started writing but never quite finished. You control a dangly piece of string with a magnet at one end. Your job is to save the world by picking up a metal ball (the Orb of Truth) and negotiating it around the obstacles on screen before placing it safely into a specially created hole (the Chalice of Justice). Also written in DarkBASIC, and no better than my previous attempts!
    Download: source, screenshot.
  • Rubik Rubik
    Version 0.00 (21 May 2003) for Windows.
    A very quick demonstration that displays a Rubik's cube continually rearranging itself. I wrote it to get the hang of the DarkBASIC game development language, but it's a bit rubbish really (the program that is, not DarkBASIC).
    Download: source, screenshot.