Search Results for "web based system"

"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.

This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.

...MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by...

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.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

This project aims to provide a common and convenient environment for evaluating C and C++ compilers' relative performances on some well-known benchmarks and applications.

...This product is in prototype phase. 3) XTCC, a web based cross tabulation tool that enables companies to carry out real-time analysis. It can analyze very large datasets in a very short period of time. It is in prototype phase. If you are interested in doing a pilot, please write to us.

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.

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.

PXC is a new C-Crosscompiler-Project, based on PCC the UNIX(TM)-Original. Aimed at ISO-9899:99/201x Feature-Completness and easy retargeting. The Toolchain will consist of an Assembler, Linker, Librarian and an integrated MISRA-C-Checker.

A C and C++ Library + a compiler to create Adobe Flash SWF movies up to version 9 (v1.8.1). Supports nearly all the tags, includes an ActionScript compiler. Detailed docs and other tools: convert fonts to Flash, decompile Flash, jpg2swf. LASTEST IS 1.8.4

UIMP(Unified Image Manipulation Program) is an OS independent Image Processing system, which provides over 1000 algorithms and supports web online, console and GUI program.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

Compiler for message-passing network protocols, currently based on UDP. APC is written in Python and produces C code. It includes a C run-time library.

OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org

OS based on Agent based Security with a new type of split kernel and agents platform.

This project was started in an effort to ease development of Swing applications by creating a XML to Swing rendering utility. Although this project is definitely in the first released state, it shows great promise and focuses solely on the Swing API as a

A java based Assembler and Emulator for the MIPS instruction set.

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

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.