Search Results for "disk operating system"

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.

Easymotif is a WYSIWYG GUI-builder for Motif, producing standard C-source code. It gives a possibility for graphic lay-out, creating all callbacks and functions. Each Motif-dialog will be displayed on screen as it will appear lateron when running the com

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.

Game Editor is the game design software that gives you the power to create the games of your dreams, and gives you the chance to get the source code of the game creator and develop 2D games for personal computers as well as mobile devices like iPhone

Open Source Code Demo of MATLAB Coder converting Hello World M script to C++ file This is a simple demo of this powerful to demo the conversion of Matlab's M script file to a C++ file for your trading or target platform. Youtube video and Download the ZIP package from http://quantlabs.net/blog/2012/11/rading-or-hft-open-source-code-demo-of-matlab-coder-toolbox-converting-hello-world-m-script-to-c-file-free-opensource/

A phrase to phoneme code converter for the SpeakJet chip by Magnevation. Speakalator runs on Unix type operating systems.

ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.

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.

Open Embedded Real Time Operating System. Widely and graphically configurable from a very small non-preemtive OS up to a fully featured pre-emptive system. First target is to cover 8-bit AVR microncotroller's family with GCC - AVR compiler.

ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.

PLT Spy is a Python to Scheme translator.

Comprehensive & high performance data distribution &transformation system. Features a simple, user-friendly event driven scripting interface transparently generates & execs highly efficient Perl/C code. Uses:ETL,datawarehousing,statistics,data-cleansing.

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

Boiler-template (source) file generator. Automates (source) file generation from template files: speeds up developement of redundant or re-usable software and more. An example template for Linux Kernel Device Drivers generation, is included.

Can emulate old computer on text the code pogram ideal to create kernel for operating system The begin the project the can emulate CPU(8080)and z80.

siggen is a cool email signature generator for encrypted ansi c (confused), brainf*ck, ... signatures. Use it in combination with vi(m), emacs, mutt, pine, or what ever. (tested on Solaris, Linux and Windoze). Optimized only for geeks :-)

QJ-Pro is a sophisticated code quality assessment and coding standards technology for Java development detecting potential software defects at compile time. It offers the ability to significantly reduce code review effort by automating a major portion of

Turck MMCache is a PHP Accelerator & Encoder. It increases performance of PHP scripts by caching them in compiled state, so that the overhead of compiling is almost completely eliminated. Also it uses some optimizations for speed up of scripts execution.

BeOS Rapid Integrated Environment (or BRIE for short) is an IDE for rapid development of BeOS / OBOS / Zeta applications. All code is generated in C/C++ using the BeOS API plus a few extensions.

A static HTML preprocessor.

Tools around the Scenix 48/52 series microcontrollers

POSIX Application Web Server which supports dynamic parsing, compiling and loading. PLEASE NOTE: If you're downloading the xmms plugin, you will need the acp-0.2 release as well and this needs to be installed first.

Virtual machine/emulator; "holding pen" for self-replicating programs written in custom RISC assembly-like language, evolving via random point mutations and periodic fitness-based cullings. Inspired (like Avida) by Thomas Ray's alife simulator, Tierra

Open SPHiNX C-- Compiler is a set of compiler and libraries based on the "SPHiNX C--" programming language created by Peter Cellik.

Embedded churn will provide developers the freedom to configure an embedded system for any target architecture from a defined template . The ability to deploy the custom image on a flash based device depending on the application of the embedded linux de