Difference between revisions of "Work:Software"
m (Protected "Work:Software" ([edit=sysop] (indefinite) [move=sysop] (indefinite)))
m (Removed protection from "Work:Software")
Latest revision as of 21:31, 15 February 2013
NOTE: The following material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Email me if you are interested in any of the following. This is one of the most *not* up-to-date pages of my site.
- RBanking is an offline banking tool that adds the power of R, a free software environment for statistical computing and graphics, to the banking data of the user.
- Traplas, a Transport Planning simulator, written in C++. For my research project, I implemented a simulator that can generate, plan, monitor and execute transportation orders. It can graphically display the final plans of the agents as well as lots of performance indicators. The set-up tried to minimize the amount of effort to plugin new type of agents using different techniques. Later, an external 3D visualization toolkit, called TraplasViz, was added.
- Because Traplas uses the Pamela Run-Time-Library and I made several important improvements (stack overflow security, better compiler hacks, pthread support, etc.), I backported these changes to Pamela RTL.
- In May 2006 I joined the aMSN developers team.
- I have solved a wild variant of chess, known as Little-game. Rules are exactly like chess, only the initial position is much more easy (KPP vs kpp). Play it online against my engine here.
- I have solved a Fox and Geese variant "The Wolf and the Goats" here. The game is played on a draughts board.
- A Scrolling Lyrics plugin for WinAmp, available here at the download section.
- An algorithm for a transportation problem. This algorithm uses a transformation to the Satisfiability problem and solves that instance with a satisfiability solver.
- Fitch JOJ - A Java implementation of a logic based deduction system. This program can create truth tables, proof trees, Fitch diagrams and has a user-interface that allows users to practice creating Fitch diagrams. I created this program together with D.J. Broekens in the third year of my study (1997).
- TUurlijk - An improved version of Fitch JOJ. This implementation is written in C++. It is much faster and less buggier and has an ever friendlier user-interface.
- BOP - A user-friendly interface to the system of Fitch. Users can try to build proofs themselves, or ask steps, hints and full proofs to a prover like TUurlijk. It's online here!
- A Lex/Yacc parser for logical formula's.
- Chess programs (C/Java) and a draughts game (Java, Dutch variant).
- A Java Safety System for buildings. This Object Oriented program can lock and unlock doors and raise alarm in case of burglary or fire.
- A toy Java profiler. This program can be used to test the efficiency of Java programs.
- The ZigZag algorithm. Starting with two horizontal lines (a zig and a zag) of length 100 (unit) and len (variable) respectively, we start zigzagging by making angles with the positive x-axis of k alpha (for a zig, where k is the number of iterations) and k beta (for a zag). The interesting thing is that the resulting figure always closes up, for every value of alpha, beta and len. I also made an option to animate (entering an interval for the variables) and an option to let the figures build up slowly. Download windows executable, download the source.