Search Results for "type" - Page 3

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.

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.

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

Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.

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.

...In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!