Search Results for "ada" - Page 3

ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.

SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.

An Ada implementation of nearly all of the XPath 1.0 specification.

The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.

ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.

It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.

Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.

Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project.

A parallel-programming framework for concurrently running large numbers of small autonomous jobs, or microthreads, across multiple cores in a CPU or CPUs in a cluster. Each microthread is conceptually similar to a task in Ada and it is much lighter weight than an operating system thread. SpikeOS was designed to handle millions of microthreads, for example in a neural network hosting millions of spiking model neurons. SpikeOS handles microthread scheduling, synchronization, distribution and communication. *** This project has been forked. NeuraNEP (sourceforge.net/projects/neuranep) represents a major update to SpikeOS. ...

...The schema is based on Backus Normal Form (BNF) representations of ANSI-ISO/IEC SQL Standards; ISO/IEC 9075 :2003, ISO/IEC 9075 :2006, ISO/IEC 9075 :2008, ISO/IEC 9075-14 :2013 XML-Related Specifications (SQL/XML) Does not include support for Embedded SQL Ada, C, COBOL, Fortran, MUMPS, Pascal, or PL/I programs. These may be added in future. This schema was generated by automation taking the SQL BNFs as input. It was then run through schema validators and manually modified further to result in a valid schema. The schema was designed such that if an instance document has its tags removed and the order of the content preserved, a valid SQL statement or fragment will be left. ...

Helena is an explicit state model checker for high-level Petri nets.

jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.

C2Ada is a translator from the C programming language to the Ada programming language.

Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.

Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.

Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.

Develop a set of Ada bindings to the Open Sourced Enea Linx drivers for Linux.

The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.

SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.

The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap

This project contains various examples, ported from Qt4 C++ to Ada language

An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.

A Finite States Machine (FSM) implementation in Ada.