Search Results for "a control software"

tmux is a terminal multiplexer: it enables a number of terminals to be created, accessed, and controlled from a single screen. tmux may be detached from a screen and continue running in the background, then later reattached. This release runs on OpenBSD, FreeBSD, NetBSD, Linux, OS X and Solaris. tmux depends on libevent 2.x, and on ncurses. To build tmux, a C compiler (for example gcc or clang), make, pkg-config and a suitable yacc (yacc or bison) are needed. Some platforms provide binary...

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs.

FPGAsm is a low-level alternative to verilog and VHDL. A near-instant 'assembler for FPGAs', this simple yet powerful language facilitates bottom-up design, layout and wiring of modules, and generation of .xdl output. With about 10 keywords to learn, you can start making circuits in minutes. Now you can focus on learning the ins and outs of the FPGA instead of complex tools and languages. Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit...

The software generates automatically concurrency control code based on a given specification. Specifications consist of a description of the concurrency constraints, a state machine description of the processes and/or threads that are to be coordinated, and the C code associated with each state of the state machines. The output of the software is a C program containing the implementation of the concurrency constraints and the segments of code given in the specification.

Snack combines a high-level object oriented language (think JavaScript) with a bytecode execution engine. An example air traffic control game (a port of the classic ATC) and a text adventure framework are included.

This project is a c++ code weaver, mainly based on open source tools. It may run on every platform supporting c++. Unlike aspectc++, taco join points are some of the control structures encountered in c++.

PBL (prounounced "pibble") is a general-purpose language targeted to SCADA applications (Systems Control And Data Acquisition).