Open Source Ada Formats and Protocols
Sort By:
Ada Formats and Protocols
View related business solutionsBrowse free open source Ada Formats and Protocols and projects below. Use the toggles on the left to filter open source Ada Formats and Protocols by OS, license, language, programming language, and project status.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
The Ultimate Employee Recognition and Rewards ProgramThe Bucketlist platform makes it easy and fun for employees and managers to recognize and reward one another for milestones, achievements, and a job well done. It's so easy as it integrates with the programs you already use every day. Unlike any other recognition program, Bucketlist enables companies to reward employees exactly the way they want, resulting in a 97% product satisfaction score. There are thousands of rewards to choose from, plus you can add custom rewards to suit your company.
-
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">
-
2
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 -
3
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 -
4
AdaSNTP
Simple Network Time Protocol in Ada
AdaSNTP is an open-source implementation of the Simple Network Time Protocol in Ada, based on the code generator 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 License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License. -
End-To-End Document Management SoftwareUnForm® is a platform-independent software product that creates, delivers, stores and retrieves graphically enhanced documents from ERP application printing. A complete, end-to-end document management solution, UnForm interfaces at the point of printing to produce documents in various formats for printing and electronic delivery.
-
5
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)
- Previous
- You're on page 1
- Next