Search Results for "software auth program" - Page 4

This program allows creating client-server database applications with less programming effort. Based on a definition file, the user can browse, search, and update tables through forms. Logic can be coded on a simple scripting language.

uniread - universal readline - adds full readline support (command editing, history, etc.) to any existing interactive command-line program. Common examples are Oracle's sqlplus or jython. uniread will work on any POSIX platform with Perl.

"Traceur Pascal" is a java application that interprets Pascal source codes and follow its execution. The purpose is to help pascal beginners to understand how a pascal program is executed and to debug source code.

The project's aim is to build automated programming language translation system that will port program sources written in one language to other programming language(s).

Lisp Shell is a shell, in wich lisp-like syntax is used. It is written in C and uses GNU readline library. This program is intended to scripts, wich you may write using LISP programming language. LSH was tested with Linux and FreeBSD on i386.

WhiteBeer is a new programming paradigm that is motivated by Noam Chomsky's Minimalist Program. It uses feature checking mechanism to parse programs so that it can provide word-order-independence like natural language processing.

Java-program to read, modify and execute class-files. a real java VM written in java or a decompiler for class-files is possible (and partially working)

This is a small program that enable you to generate XML from your 'home made' document format (should be a text file...) following a very simple control file.

Is an introspective and customizable general purpose language; can be easily extended both in functions and syntax. Implements the idea that source code and program are equivalent, so it isn't compiled and the program source code can be modified runtime

A Web based IDE that supports nodes and edges (graphs) with attributes. An interpretor executes your graphs. Views of graphs allow developers to see references to variables, easily see the path of execution and rearrange the structure of data and program

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

"The Engine" is a game creation engine with built-in classic type BASIC interpreter (as known from old 8-bit computers), screen editor and full-screen editor, using OpenGL and SDL (currently POSIX only, but portable, in principle). It is aimed at game developers with little spare time, and tries to reduce program size with powerful commands that takes as much coding effort off the shoulders of the developer as humanly possible. The BASIC interpreter supports only labels, not line...

...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). 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. ...