Search Results for "front"

...We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This is a small but powerful idea, enabling relationships to be expressed between values; for example, that two lists have the same length. ...

"Aubit 4GL" is a project to make GPL, OpenSource, Informix-4GL compatible compiler, and continue to extend functionality needed to write most efficient and productive business related, database oriented applications. See "Home Page" link for more.

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.

Front provides a compiler front end generator that can generate a parser, pretty printer, symbol table handling, and Abstract Syntax Tree data structures and traversals. It also provides a C preprocessor library, and an AST rewriter generator.

...Please uninstall old versions before installing. This is a port of the CMOC compiler (written by Pierre Sarrazin) to Windows. Currently CMOC does not support linking, so, I've written front end tools which edit CMOC's output so that it can be assembled and linked via LWTOOL's. A simple C editor in included which makes it easy to compile/build and run the xroar emulator. Please visit the CMOC website: http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html CREDITS LWTools - Portable tools for the Motorola 6809/6309 http://lwtools.projects.l-w.ca/ mcpp - A Portable C Preprocessor http://mcpp.sourceforge.net/ Artistic Style - Automatic Source Formatter http://astyle.sourceforge.net/ XRoar - Dragon & CoCo emulator http://www.6809.org.uk/xroar/ CMOC - 6809 cross-compiler for a small C-like language http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html

Clipper/XBase compatible compiler with initial support other xBase dialects. Multitasking, OOP,SIX/Comix, SQL and ODBC drivers,a C-API for third-party developers, a few wrappers for popular libraries (such as BZIP, GZIP, GD, Crypto, and Fcgi), ....

DBOW is a database compiler-compiler or front-end. It takes table definitions in a relatively high-level language and prepares C, C++, PHP, Perl (etc) functions for manipulating the database. It will also produce SQL table data for MySQL.

creates a compressed trie that maps keys to values and values to keys. Compression is on the front end of keys. Useful for lightweight reserved word creation in constrained memory/processor power situations. Written in C.

Eleven is a programming language for creating robust, scalable web applications. It offers a 20x programmer productivity increase over ASP, JSP, etc. by automating state management and UI layout. The compiler generates ready-to-run PHP or mod_perl code.

Front-end for GNU Compiler Collection for the PL/I programming language

A three-address code (C3A) compiler, implemented as a new front end to the GCC compiler.

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.

Netflow analyzing tools : JXColl - collector for Netflow (or XML specified) data Analyzer - front-end application for providing an user interface and output (graphs, statistics, etc.)

A GCC front end for the BCPL programming language.

xBaseScript (PP.exe) is an open source enhanced Clipper compatible Pre-Processor, DOT Prompt Environment, and Clipper/xBase Script Engine.

GLBCC is a front-end to the GNU Compiler Collection. GLBCC adds Liberty Basic to the GCC language collection so that Liberty Basic code can be compiled directly to an executable. Since GLBCC uses GCC, the object files can also be linked with object file

A Cobol compiler, implemented as a new front end to the GCC compiler.