Search Results for "automation"

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/

...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. The integrated HTML documentation generator allows you to create documentation for your native bindings in seconds. The project is released under the zlib/libpng license. ...

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.

Parsing, interpreting, checking and profiling C application (ISO/IEC 9899:1999 (E))

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.

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

An automation plugin for Winamp. This exposes a lot of winamp functionality through COM / ActiveX. You may use this to write VB or .NET or any other applications which interact with Winamp. Also supports internal script hosting.

Scripting Tcl interface to Qt multiplatform library

The Lcomp Scripting Engine is a scripting engine written in Visual BASIC for DOS 1.0 that can be used by a programmer to write automatated scripts to perform routine actions in DOS. It can be used as a simple automation tool or a vast programming language

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.