Search Results for "linux mac windows" - Page 2
Sort By:
Showing 71 open source projects for "linux mac windows"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
Simple components for Ada
A software components library
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, arbitrary precision arithmetic, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix... -
2
Portable OpenAL Sound
Concurrent, asynchronous sounds package for Ada apps.
This is an Ada package that can play WAV files on Windows, OSX, and Linux, using Ada tasking and OpenAL libraries. It includes a partial Ada binding to OpenAL. It provides sound-playing capabilities for Ada apps to * asynchronously start and stop music/sound loops, * initiate transient sounds, * allow unlimited sound concurrency. It is suitable for any Ada application that needs music, sound loops or transient sound effects; eg. games. -
3
corlpack
Ada Library for heterogenous vectors
Corlpack consists of a library and tools aiming to simplify and accelerate programming of small, scientific, computational applications. One of the planned features is the loading and saving of a variety of research data into a single generic data structure, that is much like the named list from R, thus removing the need to learn many data access APIs. -
4
lorenz
Ada contributions : demos of GTKAda, binding to PCRE
Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
6
The ZLib.Ada is a thick binding to the popular compression/decompression library ZLib http://www.gzip.org/zlib/. ZLib.Ada provide Ada style access to the ZLib C library.
-
7
This package contains a set of Ada95 container classes, both generic and inheritance based. It also contains a set of utilities, including an abstract I/O interface, a telnet protocol engine, and others.
-
8
ZanyBlue: Ada libraries towards a finite element framework
-
9
AVR-Ada
Ada cross compiler and libraries for AVR µCs
The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) -... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
AdaAutoDiff
C++ Templates and Ada Package for Automatic Differentiation
Operators are overloaded so that a normal looking function definition provides access to not only evaluations of itself, but to evaluations of any of its analytic derivatives. Automatic differentiation means the user does not need to define the analytic expressions for all the various partial derivatives. It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward... -
11
AdaFontDemo
Ada Fonts is a minimalistic example of using freetype fonts in OpenGL
...It also uses Stephen Sangwine's PNG-IO package, and thin bindings to OpenGL, SDL2. More importantly, it shows how to encapsulate the scripts and runtime libraries necessary to easily compile and run on any computer running Windows, OS-X, or GNU/Linux. The only 3rd-party tool required is an Ada compiler. -
12
The Ada 95 Booch Components is a container library, supporting Bags, Collections, Maps, Queues, Rings, Sets, Stacks, and Trees of various flavours, together with supporting utilities. The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered...
-
13
GNAT Util Library
Provides access to GNAT compiler internals for AdaCore utilities
With GNAT GPL 2013, AdaCore have extracted internal compiler components into a library called gnat_util, which is used by (at least) ASIS and GNATColl. GNAT Util GPL 2013 contains components from the GNAT GPL 2013 compiler. At least for ASIS, the components used to build it must match the components in the compiler, so if building ASIS for use with (for example) FSF GCC 4.8.0 a version of GNAT Util is needed which contains components from FSF GCC 4.8.0. This project provides such a... -
14
ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public...
-
15
Cortex GNAT Run Time Systems
Supports writing Ada software for Cortex-M3, M4F boards
DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by... -
16
AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
-
17
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.
-
18
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.
-
19
Ahven
Unit testing framework for Ada
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. -
20
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.
-
21
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.
-
22
MSP430-Ada
Ada compiler support for TI MSP430 processors
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. -
23
C2Ada is a translator from the C programming language to the Ada programming language.
-
24
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
-
25
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.
