bb-runtimes
by AdaCore
Source repository for the GNAT Bare Metal BSPs
AI summary
Runtime generator
A repository that generates runtime source trees for AdaCore's bare metal targets
- stars
- 65
- forks
- 51
- watching
- 21
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Parser generator
A toolset for generating verifiable parsers and protocol state machines from formal specifications.
Ada WASM runtime
An Ada runtime and bindings project for WebAssembly.
Ada library framework
A collection of core packages for building Ada libraries and applications
Ada compiler
An Ada compiler based on LLVM to generate native code from the GNAT front-end.
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Microcontroller libraries
A collection of Ada source code and sample projects for microcontrollers
Device binding generator
A tool for generating Ada bindings from ARM Cortex-M device SVD descriptions
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Bar code generator
A package for generating various types of bar codes on different output formats.
Bare Metal Demos
A collection of Ada-based bare metal demos showcasing various applications and features
Coverage analyzer
Analyzes program coverage in Ada and C language source code
Templating engine
A set of tools to parse and create templated text streams in Ada.
Container library
A comprehensive Ada library for implementing various containers and data structures
C# Compile-Time Generator
A presentation about C# Source Generators, covering their purpose and functionality in generating code at compile-time.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions bb-runtimes.
