Search Results for "remote software automation"

Escape Towards The Unknown is a graphic adventure (like Monkey's Island) written in C with SDL support. Main feature are: brand new user command language interface; support for digitalized dialogues in many languages.

SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/

A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds....

Build automation and Package management system

ENIAC: Electrical Network Interactive Analysis Console. Educational software originally made for the study and simulation of electrical LTI circuits, but which supply also a lot of mathematics computations, like complex, polynomial and matrix operations.

Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.

AUTOMGEN runtime is an open source royalty free runtime for open PLCs. By using this runtime, any target systems can become compatible with the AUTOMGEN automation workshop: IEC1131 languages (ladder, SFC, etc.), 2D and 3D scada, WEB SCADA, etc.

Remote Invocation Framework (RIF) is a framework for RMI that is 100% dynamic and uses WS over HTTP and HTTPS for brokering. Finally a framework exists to enable RMI with less that 6 lines of code including both the client & server side.

URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht

TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE

A runtime inspection/scripting environment. Smalltalk-like Swing GUI for scripting engines and object inspection. Works on remote containers (EJB/Servlets) and of course locally. General BSF supported, comes with the Lisp-syntaxed language piji.

PyREXX is a interprocess messaging server for routing remote prodecure calls using xml-based messages (Jabber, XML-RPC, etc), which will allow programs to interact more easily.

vIDE is a cross-platform tool for writing and simulating Verilog models. It provides user friendly project management and file editing, integrated simulation engine, waveform viewer, pre-compiled modules, and many other cool features.

What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis

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

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

Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.