Search Results for "c:\program files\micronetics\msmws\program\"

ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format

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.

Patlac--Xml2cpp is a totally customizable code generator that generates classes (c++ for now) automatically from a xsd schema. Classes are described in google-ctemplate files and a xml options file allow precise definition of projects.

A self-contained and portable build system derived from the traditional 4.4BSD system. It implements Bourne configure script generation, concurrent building and it can compile IDE project files. It is portable to most operating systems and make flavors.

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.

XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...

A tools to speed up the development on php Package included the: 1. Generator for php & c# code 2. Sample code of php

Programa de formatação de código Delphi (Object Pascal) para Html para postar códigos em Blogs em especial para o Blogspot. Program code formatting Delphi (Object Pascal) to Html codes to post in Blogs in particular for Blogspot. Vídeo de Demonstração Demo video http://www.youtube.com/watch?v=7LbdhOzDxwA

...Specifications consist of a description of the concurrency constraints, a state machine description of the processes and/or threads that are to be coordinated, and the C code associated with each state of the state machines. The output of the software is a C program containing the implementation of the concurrency constraints and the segments of code given in the specification.

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.

Property/configuration mechanism for high-performance C++ applications. Similar to but more flexible than Java properties. Property settings provide type safety, expressive error messages and full-featured expressions. Based on the Lua language.

Set of Add-ins to run standard Cygwin/Unix command line facilities from Excel. Creates batch files, runs them as part of excel (or independent of) to : ZIP, GZIP, BZIP2 files, dos2unix & unix2dos files. Also automates DOS DIR to list files to spreadsheet