Best Open Source Ada Data Formats Software

Ada Data Formats Software

Data Formats Ada Clear Filters

Browse free open source Ada Data Formats Software and projects below. Use the toggles on the left to filter open source Ada Data Formats Software by OS, license, language, programming language, and project status.

The AI workplace management platform
Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.

Learn More
Rezku Point of Sale
Designed for Real-World Restaurant Operations

Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.

Learn More
1

Ini file manager

A standalone, portable Ada package for configuration files

Config is an Ada package for parsing configuration files (.ini, .inf, .cfg, ...) and retrieving keys of various types. New values for single keys, or entire sections, can be set. Standalone and unconditionally portable code. Alire crate: https://alire.ada.dev/crates/ini_files Mirror: https://github.com/zertovitch/ini-files

1 Review

Downloads: 31 This Week

Last Update: 2024-09-24
See Project
2

Ada PDF Writer

A standalone, portable package for producing dynamically PDF documents

PDF_Out is an Ada package for writing easily PDF files dynamically. Enables the automatic production of reports. Standalone and unconditionally portable code. No external resource is needed. More information on... http://apdf.sf.net Alire crate: https://alire.ada.dev/crates/apdf Mirror: https://github.com/zertovitch/ada-pdf-writer

2 Reviews

Downloads: 42 This Week

Last Update: 2026-02-16
See Project
3

TeXCAD

A simple LaTeX {picture} drawing tool

TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad

1 Review

Downloads: 8 This Week

Last Update: 2025-07-20
See Project
4

The Verified Software Repository

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)

Downloads: 0 This Week

Last Update: 2013-05-02
See Project
Turn traffic into pipeline and prospects into customers
For account executives and sales engineers looking for a solution to manage their insights and sales data

Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.

Learn More