Search Results for "software auth program" - Page 2

Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.

Project Element is a very simple, platform-independent, easy-to-use interpreted programming language that was made using python. It very much like html, so if you can make a webpage, you can program using Element.

Use Xilize to create XHTML pages or entire websites with just a plain-text editor. The markup is similar to Textile and extensible via BeanShell. Run as a jEdit plugin, from the command line, or embed in a Java program. Small, fast, easy-to-use.

Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.

Interested in a functional language but scared of S-expressions, monads, or other weird syntax? Try fuphyl! While still being functional, you can also program using procedural-style syntax or take advantage of object-orientation.

Rexx/Wrapper is a pseudo compiler for Rexx programs. It generates a SAA API application with the Rexx program embedded. The application is then compiled and linked allowing the user to distribute their Rexx program as a stand-alone executable.

This tutorial demonstrates how easy it is to accomplish real world programming goals with Rebol. The text aims to teach average users to program computers to do useful things, without the long and difficult learning curve imposed by other languages.

The purpose of the cinc project is to develop an emulator for Bell Labs' Cardiac (cardboard illustrative aid to computation) computer. The main product from this project is a Java program called jcinc.

Forpost is an embeddable, interpreted stack-based(Forth-like) language which has simple, compact and effective implementation in ANSI C. Main features: heterogeneous arrays, higher-order functions, program/data equivalence.

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.

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

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

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.

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