Search Results for "penetration testing linux"

Description Vici aims to make the UNIX command line programs easily available to the users of Linux GUI desktop environments. A flow chart can be built with commands and their parameters. This can then be saved as a script which can be installed into the user's desktop as an application. The script supports all Linux commands, pipelines, file redirection, variables, functions, and multiple threads of control. The project includes associated programs for creating syntax charts for an EBNF and searching for and classifying commands. ...

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

FIJI the ForthIsh Java Interpreter is an interactive environment with a procedural syntax similar to the Forth programming language. FIJI can load, introspect, and execute Java classes and methods. FIJI's main use is for unit and component testing of Java.

NOTE: PythonQt has been moved to https://github.com/MeVisLab/pythonqt PythonQt is a dynamic and lightweight script binding of the Qt framework to the Python language. It can be easily embedded into Qt applications and makes any QObject derived object scriptable via Python without the need of wrapper code generation.

C-Inside is a feature-rich run-time interpreter of the C programming language. Statements can include complex expressions and arbitrary function calls. The included library, libc-inside, has a powerful, yet extremely easy to use API.

jWAM is a 100% Java Warren Abstract Machine implementation. Currently it is still under development though all the basic functionalities (compiling, resolution) are working. As far as I know this is the only open source Java based implementation out there that does not simplify Warren's design. I have done some comparison's with other Java based Prolog engine's and jWAM does seem to outperform them all quite well (tuProlog, JLog, JIP, jTrolog). However, if you need a Java based Prolog...

On the fly interpreter for the Brainf*ck language. Written in C++.

Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

DSL Runner is a framework that provides a easy way to create and run simple DSLs (Domain Specific Language) on Java Virtual Machine.

Struts Config Reloader is developed to suppot the reload of struts1 config.Now this tools is support for reloading struts-config.xml and tiles,message resouces that defined in struts-config.xml .

This project implements the Multimodal Middleware Protocol in Python. It can be used to connect multimodal components in the same computer or in the network. The Multimodal Hub and Browser component can be used to manage the component network.

Rugg is a hard drive and filesystem harness tool that allows you to test and benchmark drives and filesystems, by writing simple to complex scenarios that can mimic the behaviour of real-world applications.

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.

leJOSUnit is a port of the Java based JUnit framework for testing robotic programs with a very small footprint. leJOS is a Java based replacement firmware (OS) for the LEGO Mindstorms RCX brick that comes with Lego\'s Robotics Invention System.

MiniMe is a research project testing some ideas for built-in persistent objects and non-fifo function execution such as co-routines and event-based processing. It has run-time types, object-oriented programming support, and automatic memory management.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. 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...