Search Results for "types" - Page 3

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.

Sepi is an object-oriented scripting engine for Delphi. It allows the users of your application to customize it using powerful object-oriented scripting. Sepi can even create classes, and work with different languages (e.g. domain-specific).

An Oberon-2 compatible source code translator which will produce C++ or Object-C files from Oberon input files. Extensions will be included to allow infix operator definitions, enumerated types, complex numbers, strings, and OS interface modules.

...A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encodings.

The scala-fast-dynamic is a compiler plugin + a small runtime library for the Scala programming language (http://www.scala-lang.org) that re-implement the way structural types are translated into JVM bytecode, achieving higher performance.

Pyston is a GEM based plugin for GCC that traverses the C/C++ source code and automagically writes thin, fast Python wrappers for all types and functions. These wrappers once created, are independent of the tool and can be directly distributed.

A plug-in for the Eclipse C/C++ Development Tooling (CDT) that adds new Project Types specific to PowerPC C/C++ development.

A branch of Scala at Rice University that looks for adding support for Runtime Types (ala NextGen), and eventually components (ala CGen).

EuLib is a C library implementing the embeddable language "Calc" and some abstract data types like lists, trees, b-trees and date/time management functions. Initially developed by Eurosoft Informatica Medica for it's own internal use, it's now LGPL.

...Using simple project definition files, it generates powerful build scripts (such as ANT) while hiding their complexity. Invicta is a modular framework that allows developing additional components and output types.

Multimethods for .NET: Makes multi-methods available to *any* language that targets .NET - C#, VB.NET, JScript.NET, Managed C++ and the rest! Uses .NET dynamic assemblies and shows how to generate dynamic .NET types and IL at runtime.

This is an Error Class Generator. It takes a text file that defines the error types, constant names and messages, levels and responses associated with it and generates classes in the supported languages that can be used to consistently handle errors

STack Oriented Interactive Compiler Adapted to Linux. POSIX threads, regular expressions, sockets, associative arrays (hashes), dynamic memory/GC, floating point math, types, and more. An RPN language, inspired by STOIC and Forth.

Ownership and Immutability Generic Java (OIGJ) is a programming language based on Java with generic types. OIGJ supports deep ownership, confinement, object- and reference-immutability.

If the words "Symbolic Instruction" in the name sound familiar, they should. ASIL (pronounced "a-sill") was largely inspired by BASIC. However, instead of starting with a modern verison of BASIC, I started with AppleSoft. Why? Well, ASIL was born in the early 1990s while I was in college. I knew AppleSoft quite well as it was my first programming language. ASIL nearly died then as the compiler technology wasn't up to the job. Now, I figure those compilers might be able to do the job. ...

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!