ada_composition
Type composition demos
A collection of Ada code examples demonstrating type composition and its applications.
A collections of small nifty demos/sample code that may help better layout data or structure project
8 stars
3 watching
0 forks
Language: Ada
last commit: over 5 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 lambourg/ada_bare_metal_demos | A collection of Ada-based bare metal demos showcasing various applications and features | 20 |
 dimasamoz/mezzo | A Haskell library for type-safe music composition with static rule enforcement at compile-time. | 357 |
 ada-developers-academy/ada-build | An introductory coding curriculum designed to teach programming fundamentals and problem-solving skills | 745 |
 zertovitch/hac | A small, quick compiler written in Ada for the Ada programming language | 127 |
 adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
 pa-ba/compdata | A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
| adacore/rc_car_demo | Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car. | 6 |
| adacore/ada-traits-containers | A comprehensive Ada library for implementing various containers and data structures | 29 |
 charlie5/ashell | A component to aid in writing shell-like applications using Ada | 14 |
| adacore/gtkada | An Ada library for building graphical user interfaces with the GTK toolkit | 91 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
| adacore/ada_drivers_library | A collection of Ada source code and sample projects for microcontrollers | 250 |
 bitloops/ddd-hexagonal-cqrs-es-eda | A comprehensive example of software design and architecture using Domain Driven Design, Hexagonal Architecture, CQRS, Event Sourcing, Behaviour Driven Development, and other advanced concepts | 1,224 |