Search Results for "software testing projects"
Sort By:
Showing 16 open source projects for "software testing projects"
View related business solutions-
Rezku Point of SaleRezku 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.
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
1
Alire
Command-line tool from the Alire project and supporting library
Alire is a source-based package manager for the Ada and SPARK programming languages. It facilitates the building and sharing of projects within the Ada community, allowing developers to easily manage dependencies and publish their own libraries or programs. Alire aims to streamline the development process for Ada and SPARK by providing a standardized approach to package management. -
2
main
main is Ada engineering project writting Ada
Organizer, Dialogic agent, Comptability, Projects manager, Web search, Planner, Space Fighter (Server+CGI) plain software maket (With paiement) thank. main is developed over Debian 10. -
3
Generic Image Decoder
A standalone, portable generic Ada package for decoding images
The Generic Image Decoder is a package for decoding a broad variety of image formats, from any data stream, to any kind of medium. Unconditionally portable code: OS-, CPU-, compiler- independent code. More information on... http://gen-img-dec.sf.net Alire crate: https://alire.ada.dev/crates/gid Mirror: https://github.com/zertovitch/gid -
4
HAC Ada Compiler
HAC Ada Compiler - small Ada compiler fully in Ada
HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. More information on: http://hacadacompiler.sf.net For an editor integrated with HAC, check LEA: https://l-e-a.sf.net/ Pre-built binary for Windows: https://sf.net/projects/hacadacompiler/files/hac-2024-03-21-v.0.30-bin-win64.zip Alire crate: https://alire.ada.dev/crates/hac Mirror:... -
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum KnightCLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
-
5
AdaGate
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
AdaGate is a 3D OpenGL strategy game with escape rooms in a Stargate fantasy setting. It is an elaborate example of modern OpenGL programming using the Ada language; and a tribute to Narbacular Drop, and Amelia Earhart. Each room has a barrier that must be circumvented using portals. The barriers include water with piranha, molten magma, and walls. Runs on Windows, OSX, and GNU/Linux. The linux binary now runs on many linux distros! Includes all source code, build scripts & resources. -
6
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 -
7
LEA
LEA is a Lightweight Editor for Ada
LEA, a Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. More information on: http://l-e-a.sf.net/ Alire crate: https://alire.ada.dev/crates/lea Mirror: https://github.com/zertovitch/lea -
8
Ada Bar Codes
Bar Code (1D or 2D) generator in pure Ada
The project Ada Bar Codes provides a framework for generating various types of bar codes (1D, or 2D, like QR codes) on different output formats and devices. Alire crate: https://alire.ada.dev/crates/bar_codes Mirror: https://github.com/zertovitch/ada-bar-codes -
9
OpenAvionics is a hardware/software projet to design low cost instrumentation (air/attitude, navigation, voice, engine) for light and ultra light aircrafts. The display part of the project may be used in aircraft simulation projects.
-
Outbound sales softwareAdversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
-
10
Excel Writer
A standalone, portable Ada package for producing Excel spreadsheets
Excel_Out is a standalone, portable Ada package for writing Excel spreadsheets with basic formattings and formulas, easily and programmatically. Enables the automatic production of reports. No interaction needed with Excel or MS Office. More information on: http://excel-writer.sf.net Alire crate: https://alire.ada.dev/crates/excel_writer Mirror: https://github.com/zertovitch/excel-writer -
11
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. -
12
ATI_SCOPE
Open Source Traffic Control Software
SCOPE is an open source dual redundant traffic signal control environment that was funded by the U.S. Department of Transportation. SCOPE incorporates an open source traffic signal control program developed by Advanced Technologies, Incorporated. SCOPE has pre-timed and actuated control modes. In has min recall, max recall, gap out, max gap, and presence modes that include advanced traffic control concepts. SCOPE interfaces with both NEMA-TS2 and Intelligent Transportation Systems (ITS)... -
13
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.
-
14
-
15
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
-
16
- Previous
- You're on page 1
- Next
