Search Results for "find"

A collection of extensions for Python's IDLE, the Python IDE built with the tkinter GUI toolkit.

Here you will find a collection of BCPL tools I've gathered from the net, cleaned up and ported to the Atari ST. This involved fixing bugs, reducing stack usage and making the code compile in 16bit via Pure C (Turbo C for the Atari ST). Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. ...

...About the unixname: The "shortname" of the project was a typo, but it was too late when I actually realised it. Features that still need to be implemented: Boolean expressions (IF) (If I ever find a flexible way to implement them, because you can't parse user input to a boolean command in QBASIC, without using a dynamically changed BAS file, which is going to fail if using it compilled) The source code should be compiled with either QB64, QuickBASIC or freeBASIC (with the -lang qb switch enabled

nsjava is a loadable c-module which embeds a java virtual machine in aolserver. This module is being developed to support the openacs project - see http://openacs.org, but it could find general application as a web development tool.

...We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. Other Projects and pages of the team's members: www.settlers-android-clone.com (by Andreas Eberle and Michael Zangl) www.andreas-eberle.com