bb-runtimes
Runtime generator
A repository that generates runtime source trees for AdaCore's bare metal targets
Source repository for the GNAT Bare Metal BSPs
65 stars
21 watching
51 forks
Language: Ada
last commit: 2 months ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| adacore/recordflux | A toolset for generating verifiable parsers and protocol state machines from formal specifications. | 107 |
 godunko/adawebpack | An Ada runtime and bindings project for WebAssembly. | 53 |
| adacore/gnatcoll-core | A collection of core packages for building Ada libraries and applications | 45 |
| adacore/gnat-llvm | An Ada compiler based on LLVM to generate native code from the GNAT front-end. | 185 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adacore/ada_drivers_library | A collection of Ada source code and sample projects for microcontrollers | 250 |
| adacore/svd2ada | A tool for generating Ada bindings from ARM Cortex-M device SVD descriptions | 65 |
| adacore/gtkada | An Ada library for building graphical user interfaces with the GTK toolkit | 91 |
| adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 242 |
 zertovitch/ada-bar-codes | A package for generating various types of bar codes on different output formats. | 14 |
 lambourg/ada_bare_metal_demos | A collection of Ada-based bare metal demos showcasing various applications and features | 20 |
| adacore/gnatcoverage | Analyzes program coverage in Ada and C language source code | 39 |
| adacore/templates-parser | A set of tools to parse and create templated text streams in Ada. | 7 |
| adacore/ada-traits-containers | A comprehensive Ada library for implementing various containers and data structures | 29 |
 jakubsturc/talk-csharp-source-generators | A presentation about C# Source Generators, covering their purpose and functionality in generating code at compile-time. | 3 |