75 projects tagged "Ada"
Updated 28 Apr 2013
Units of measurement for Ada
| Pop | 154.89 |
|---|---|
| Vit | 35.40 |
The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.
Updated 20 Mar 2004
Pattern matching
| Pop | 34.68 |
|---|---|
| Vit | 1.02 |
This library implements SNOBOL-like patterns. It provides various strategies form repetitive matching, supports recursive and user-defined patterns, immediate assignment of matched text, and patterns for matching multi-line texts. Bindings for C++ and Ada are provided.
Updated 15 Mar 2013
Simple components for Ada
| Pop | 115.27 |
|---|---|
| Vit | 38.80 |
The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix expression parsing tools. Implementations of some lock-free shared data structures are provided.
Updated 04 Apr 2012
Strings edit
| Pop | 64.11 |
|---|---|
| Vit | 10.95 |
Strings edit is a library that provides I/O facilities for integers, floating-point numbers, Roman numerals, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings are supported, including wildcard pattern matching, sets and maps of code points, upper/lowercase, and other Unicode categorizations.
Updated 22 Jan 2012
Tables for Ada
| Pop | 47.80 |
|---|---|
| Vit | 7.86 |
This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported.
Updated 05 Aug 2007
ImgSvr
| Pop | 66.18 |
|---|---|
| Vit | 4.57 |
ImgSvr is a Web image server, which allows users to browse digital images. It is a simple, efficient, and full HTTP server specifically designed for image publishing. It is completely dynamic with efficient thumbnail generation.
Updated 27 Jan 2004
ILFIVE
| Pop | 26.50 |
|---|---|
| Vit | 1.00 |
ILFIVE is a library of Lisp objects in C, with an Ada-95 binding. It also features il5check, a matcher for list patterns.
Updated 27 Jan 2004
WIPORT
| Pop | 30.10 |
|---|---|
| Vit | 1.00 |
WIPORT is a layer over the grx graphics library which provides a simple GUI API with memorization of the objects displayed in the various windows. This makes redrawing and printing to a scalable PostScript representation easy to do. Thanks to the grx library programs, using WIPORT works identically on the DOS graphical console, Linux+svgalib, and Linux+X11. WIPORT is written in C and comes with an Ada-95 binding.
Updated 23 Aug 2012
Niliada
| Pop | 41.33 |
|---|---|
| Vit | 4.77 |
Niliada is a library of Lisp-like objects in Ada-95. It features a real time garbage collector. It is useful for massively multithreaded applications in a mission critical environment.
Updated 13 Mar 2004
votmic
| Pop | 27.11 |
|---|---|
| Vit | 1.42 |
votmic is a Web voting system for small virtual societies. Each member receives a specific URL every time there is a new issue to vote on. By going to that URL and clicking an option, his vote is recorded. The current results and who voted for what and from what IP address are displayed to all members, so votes can't be tampered with. If one votes repeatedly, only the last vote is considered.
