ocarina
by OpenAADL
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
AI summary
Model compiler
An AADL model processor that generates code and performs analysis tools
- stars
- 66
- forks
- 29
- watching
- 18
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Ada compiler
Provides support for the Ada programming language in CMake build systems.
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Ada compiler
An Ada compiler based on LLVM to generate native code from the GNAT front-end.
Code generator
A tool that generates Ada code and documentation from UML models
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Debugger
Tools for on-chip programming and debugging of embedded systems
Compiler
A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications.
Ada compiler
Provides CMake-based support for the Ada programming language
ML model
Provides XGBoost models for machine learning tasks in Clojure
Ada compiler
An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language
Shell compiler
A component to aid in writing shell-like applications using Ada
Finite-state machine generator
Generates Ada code from finite-state machine descriptions.
MLLM generator
Automates data generation and model training for improving MLLM capabilities
FPGA accelerator
An OpenCAPI-based FPGA acceleration framework
Utility library
A comprehensive Ada library for building utility functions and frameworks for logging, serialization, encoding, concurrency, and more.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ocarina.
