Software Developed by jonne

  • A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.

    • TUurlijk
    • jonne
    • Freeware (Free)
    • Windows
  • RBanking is an offline banking tool that adds the power ofR (statistical computing and graphics) to your banking data. Download the information of your accounts online and then use this tool to process this data, create reports and graphs.

    • RBanking
    • jonne
    • Freeware (Free)
    • Windows