Search Results for "data entry program"

The Baby X resource compiler (babyxrc) is a program to import binary data, such as images in most common formats, audio data, fonts, cursors, and text data, and output it as portable, compileable C source. Input is the raw binary resource data (.jpegs, .wavs etc) and a simple xml file which lists the files and the format in which they are to be output. It's very easy to maintain.

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.

Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. Ccide checks tables for conflicts and other...

Parse software messages and transform them into actions. LazyBat has a command line utility which can transform input data, and also a parser generator for C/C++. LazyBat doesn't support recursive parsing, but rather focuses on common parsing jobs.

The Language Machine is a toolkit for language and grammar: a library, main program, and self-hosted rule compilers with one frontend. The system is easy to use. It directly implements unrestricted rule-based grammars with actions and external interfaces.