categories / Programming Languages / list Ada/SPARK
yotroc
github.com tool
Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.
from Ada/SPARK
added 2026-10-10
likes 0
similar
SweetAda
github.com
A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.
coldframe
github.com
This tool generates Ada framework code and documentation from UML models.
RABCDAsm
github.com
Collection of utilities including an ActionScript 3 assembler/disassembler.
Recaf
github.com
Bytecode editor that supports multiple decompilers.
Straylight
github.com
A simple monolithic RISC-V operating system developed in Ada.
byron
github.com
A community project to build an Ada compiler, toolchain, and IDE-system.
Ada/SPARK › Applications > Shells, Interpreters and Emulators: “Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.”