Search Results for "gnu science"

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.

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.

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

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.

MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.

Hyacc is an efficient and practical Yacc/Bison-compatible full LR(1)/LALR(1)/LR(0) and partial LR(k) parser generator in ANSI C based on Knuth and Pager's LR(1) algorithms. Generated parser can be used in open-source or commercial software.

Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

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

bfrun is a Brainf*ck interpreter (Bf VM). bfrun written in pure Java and Platform - Independent. bfrun is high performance Bf VM with debugging support (works more fast than beef and gbf up to 20 times). Supported 8 ,16 and 32 bit memory.

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.

latexcalc is a "LaTeX Calculator" that calculates values inside your LaTeX files before typesetting them. More accurately, it preprocesses files written in a superset of the LaTeX typesetting language and evaluates specified expressions in the text.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

Direct C++ to C# translator, translates one of the languages to another without compiling. Has academic aim only!!!

A data parallel scientific programming model. Compiles efficiently to different platforms like distributed memory (MPI), shared memory multi-processor (pthreads), Cell BE processor, Nvidia Cuda, SIMD vectorization (SSE, Altivec), and sequential C++ code.

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/

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.

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.

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

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

An open-source cross-platform compiler for the Savage Innovations OOPic microcontroller.

Keystone - Parsing and Analysis of C++

antlraux is a java package thought to be used in combination with antlr(http://www.antlr.org). Features contextual information management, command line parsing and lexical information treatment.

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

PBL (prounounced "pibble") is a general-purpose language targeted to SCADA applications (Systems Control And Data Acquisition).