Search Results for "type" - Page 3

This project is derived from the dk.brics.automaton DFA library, version 1.11-8. The most significant change is the addition of a 'info' field to automaton states, allowing them to be associated with a token type. A few automaton operations were modified to preserve the value of this field. I have not given much thought to whether it would even make sense to preserve the 'info' field through some of the other operations. This project also includes an extension of RunAutomaton, called TokenAutomaton, that can be used as a lexer, as well as its support classes and examples of its use. ...

XmlPL is a C like language with special syntax for creating and manipulating XML data. If you know Java, C or C++ and XPath then XmlPL is easy to learn. XML is a native data type and is processed more naturally using XML path expressions and inline XML.

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.

The OpenCL Kernel Compiler compiles OpenCL kernel files and presents any compilation errors in a form commonly used by "regular" C/C++ compilers. It is intended to be used as a supporting tool for application developers working with OpenCL. Version 0.3.0 adds additional features for saving compiled binaries and selecting platforms/devices.

Simple lexical analyzer for ANSI C (C-88-090) language.

XTypeS is a DSL for writing type systems for languages implemented in Xtext.

Javaruntype is a library which offers a runtime objectual representation of the Java type system

CTokenizer accepts C++ syntax as input and outputs a vector of CToken objects, which contain a token string and a(n enumerated) token type, which can then be used to parse the input.

CPPML adds support to C++ for some of the type constructions and pattern matching that are found in ML-based languages like OCaml. CPPML transforms sourcecode back to regular c++ and should work with most compilers.

Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.

Monster is a scripting language designed for game development. It is object oriented, type safe, bytecode-compiled, easily merged into existing engines and especially designed to facilitate user-generated scripts. Homepage: http://monsterscript.net

Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/

The Tree Processing Language allows the specification of an object oriented tree structure, with strong seperation of concerns, which can be compiled into a type safe class hierarchy implementing the tree.

This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.

C-style, ANT/cmdline preprocessor for java, xml and other files. Designed to run smoothly with IDEs and tools - all directives occur in comments specific to the file's type, making it syntactically valid. Line numbering (debug messages!) is preserved.

CFront is an ANSI-C (89) front end library. It provides pre-processing, parsing, and type checking, and an powerful API for examining and rewriting.

Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation

Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.

OS based on Agent based Security with a new type of split kernel and agents platform.

Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.

Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.

TreeScript a next generation Java based language for inserting into and building large (proxy based) XML like object trees. It allows code and diverse data sources to be acted upon is if they were simple atomic and node type values.

State is a programming language for automation control software. Hierarchical, type parametrized systems, controlled by Moore statemachines, are connected with arbitrary precision signals. Code generators for M68HC11 and Java are available.

libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.

OS for embedded and mobile devices based on tiny byte-code interpreter and FORTH language compiler (into platform-independent byte-code). In other word its smallest programming language realization works on any type computer with any OS