Search Results for "type" - Page 3

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

Multi-language library to deal with multimethod dispatch, disambiguation and type-checking using dispatch tables. This approach yields fast dispatch in constant-time and greatly helps resolving ambiguities.

IronMeta is an implementation of Alessandro Warth's OMeta metaprogramming system in C#. It provides a packrat parser generator that generates parsers for Parsing Expression Grammars that operate on arbitrary streams of objects.

The TI-Basic compiler compiles TI-BASIC code to the 8XP file format used on Texas Instruments calculators, namely the TI-83, TI-83+ and TI-84+.

Biddlebaddleboo Programming Language is a simple programming language that is more user friendly. Type "help" in the command prompt to view commands. You can download scripts by going to files, then scripts, then download which ever script you want to use and then you can execute it. You can upload your own scripts into that directory too. There is even a GUI and you can also launch files with it. This programming language has it's own file format which cannot be read with notepad. ...

It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.

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.

A simple imperative Javascript-based language with type inferencing and an easily extensible backend for usage as a scripting language or to abstract common idioms.

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.

Compiler and tools for the Cx language. It supports Aspect-Oriented, Concept-Oriented programming, and OOP as a result. Cx compiler will emit platform independent IL which will be translated to platform specific binary code.

A front end for haskell with support to multiparameter type classes.

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.

The mesh programming language is a universal styling language that utilizes the Java framework. It contains many novel features, rigorous type checking, and integrated extendability.

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.