The programminglanguage ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
This is a programminglanguage dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.
The C++ Basic is an object-oriented language with features from C++, Java, Basic and Euphoria programming languages. A C++ Basic program is converted to C++, that looks similar to the original C++ Basic code.
A universal parsing tool and source code generator for generative programming. It extracts useful information by parsing (BNF parser generator) and generates source code by several techniques, by interpreting a scripting language for flexibility.
ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.
The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible ProgrammingLanguage)
A full development kit, based on XSCompiler. Multi-platform compiler and IDE, many libraries and examples. Uses an innovative programminglanguage, an improved version of the standard and well-known C/C++.
Steini\\\'s Mini Compiler is a fast DOS 16 bit compiler. Please help to improve the programminglanguage writing new commands. The compiler uses a set of assembly files for the compilation process.