ocarina
Model compiler
An AADL model processor that generates code and performs analysis tools
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
66 stars
18 watching
29 forks
Language: Ada
last commit: almost 3 years ago
Linked from 1 awesome list
aadlada
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 offa/cmake-ada | Provides support for the Ada programming language in CMake build systems. | 12 |
 adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adacore/gnat-llvm | An Ada compiler based on LLVM to generate native code from the GNAT front-end. | 185 |
 simonjwright/coldframe | A tool that generates Ada code and documentation from UML models | 9 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 arduino/openocd | Tools for on-chip programming and debugging of embedded systems | 127 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 cho3/cmake-ada | Provides CMake-based support for the Ada programming language | 0 |
 scicloj/scicloj.ml.xgboost | Provides XGBoost models for machine learning tasks in Clojure | 7 |
 alex-gamper/ada-languageserver | An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language | 1 |
 charlie5/ashell | A component to aid in writing shell-like applications using Ada | 14 |
 blady-com/automate | Generates Ada code from finite-state machine descriptions. | 7 |
 opendatalab/mllm-dataengine | Automates data generation and model training for improving MLLM capabilities | 39 |
 opencapi/oc-accel | An OpenCAPI-based FPGA acceleration framework | 64 |
 stcarrez/ada-util | A comprehensive Ada library for building utility functions and frameworks for logging, serialization, encoding, concurrency, and more. | 70 |