Gnoga uses modern web technologies to allow simple creation of cross platform GUIs for Ada with native or custom look and feels that perform on par to native toolsets locally and can be easily and securely remoted as web apps over the internet as well.
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.
A library and a GUI front-end for fuzzy machine learning
Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent...
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
The software is issued under the GPL Version 3 with the additional permissions granted by the GCC Runtime Library Exception version 3.1.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
ADA Image Server is server specialized in photo web-publishing. No need to copy the JPEG files on a remote web server, your machine serve it directly to the web with efficient thumbnail generation, bandwidth optimization and inherited skins.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer.
Reads MusicXML, CMN, ABC and Guido.
Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.