Context-based code search tool
- septum
- text
- search-in-text
- grep
Repository Index
88,573 visible repositories in the index
1–24 of 56 · Most stars
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
This project is obsolete is no longer developed, maintained or serviced!
A secure and high performances microkernel for building secure MCU-based IoTs
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
A G-code parser and CNC controller (in Ada)
GNAT Components Collection – Core packages
GNATcoverage: Coverage Analysis Tool
The Google Protocol Buffers implementation in Ada
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
The XML/Ada toolkit.
Collection of basic math routines in Ada
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Tomek's Ada build tool
- ada
- package-manager
- tada
Administration tool for Ravenports
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl