Search Results for "icon based programming language"

The programming language 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.

UniCC (UNIversal Compiler-Compiler) compiles an augmented grammar definition into a program source code that parses the described grammar. Because UniCC is intended to be target-language independent, it can be configured via template definition files to emit parsers in almost any programming language. UniCC comes with out of the box support for the programming languages C, C++, Python (both 2.x and 3.x) and JavaScript. Parsers can also be generated into JSON and XML.

ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1

ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!

A processor for xml-transformations based on a processing model, which allows to define the transformations by stepwise refinement, in structured (imperative) programming languages and with respect to a given xml-target language.

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.

A simple MVC Engine built in the PHP programming language.

Programming language independent Generatorframework: The generator is based on Java for use as an eclipse platform plugin or a stand alone application. It uses FRAMES and XML/XMI files. For further Information see our website www.hugosweb.de!

The CCC Language is yet another programming language. It is platform-independent, compact, and robust. Supports many SQL engines, has own ISAM DB engine, has terminal mode and more UI-s, is object-oriented, but it is compiled and not interpreted.

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 Programming Language)

Application Wireframe XML and reference software/stylesheets. This project aims to create a xml schema for application wireframes used during requirements gathering phase of development. The goal is a methodology and programming language agnostic format.

INC is an object-oriented low-level programming language. Designed to be a modern replacement for languages on the C level, it will provide access to the lowest level of the architecture, and a high-level interface based on modern language concepts.

galsC is a compiler for a new language (based on nesC, which is based on C) to support the TinyGALS (Globally Asynchronous, Locally Synchronous) programming model. This compiler is designed to work with the TinyOS project.

Tomato is an experimental Java application development environment which aims to replace text-based Java programming with a point-and-click visual programming language. The prototype works sufficiently to help develop parts of itself.

Cantaloop aims to provide a framework which simplifies and speeds up the application development process with the java programming language. It contains a codegeneration engine for self-validating input forms which partly implements ``XForms''.

The Cup Programming Language is a combination compiler and VM (Virtual Machine). The language is purely procedural, though allows 'top-level' code like a scripting language.

XML-Lit is a simple language-independent literate programming system that works with any XML-based markup language.

Open SPHiNX C-- Compiler is a set of compiler and libraries based on the "SPHiNX C--" programming language created by Peter Cellik.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.