ada_composition
by gerr135
A collections of small nifty demos/sample code that may help better layout data or structure project
AI summary
Type composition demos
A collection of Ada code examples demonstrating type composition and its applications.
- stars
- 8
- forks
- 0
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Bare Metal Demos
A collection of Ada-based bare metal demos showcasing various applications and features
Music compositional library
A Haskell library for type-safe music composition with static rule enforcement at compile-time.
Coding Curriculum
An introductory coding curriculum designed to teach programming fundamentals and problem-solving skills
Ada compiler
A small, quick compiler written in Ada for the Ada programming language
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Data type builder
A Haskell library for creating and manipulating compositional data types in a modular and flexible way
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Container library
A comprehensive Ada library for implementing various containers and data structures
Shell compiler
A component to aid in writing shell-like applications using Ada
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
Ada compiler setup
Automates installation of an Ada development environment.
Microcontroller libraries
A collection of Ada source code and sample projects for microcontrollers
Architecture example
A comprehensive example of software design and architecture using Domain Driven Design, Hexagonal Architecture, CQRS, Event Sourcing, Behaviour Driven Development, and other advanced concepts
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ada_composition.
