Search Results for "software auth program" - Page 3

Adam is a programming language that is truely visual. There is a person named Adam who walks around in a 3D environment to show the execution of a program. A program is a description of the sequence of actions Adam must perform on the objects in a

The aim of the project is to provide short description of many programming languages, dialects, IDEs, etc. with sample programs (realizations of common algorithms like 'hello, world', 'dot product', 'quine program').

Sand is a programming language. It is designed to be extremely portable and dynamic, with nearly all functionality implemented as add-on modules. It is also designed to be both pleasant for humans to program as well as aggressively optimized.

deltaFSD is a graphical tool for defining a program by linking the inputs and outputs of functions. The links created between functions determine the interdependencies within the program and so the sequence in which the functions should be executed.

PATH is a unique two-dimensional programming language. Unlike conventional programming languages, which read a program in a left-to-right, top-to-bottom fashion, PATH programs can go up, down, left, and right, and change directions at will.

Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.

The program emulates a MIX machine (introduced by Knuth in his books "The Art of Computer Programming"). - MIX Assembly Language (MIXAL) parser that converts the MIXAL code to MIX machine code - a MIX interpreter which executes MIX machine code

A fine report generator. If you(r program) need(s) to create beautyful printed pages from a database, then this is what you are searching. Supports postgresql and mysql databases.

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

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. ...