IntuitionAmiga / rust2adaLinks
A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.
☆20Updated 9 months ago
Alternatives and similar repositories for rust2ada
Users that are interested in rust2ada are comparing it to the libraries listed below
Sorting:
- Analysis and manipulation of Ada software based on concrete syntax☆25Updated last month
- Unbound data structures in Ada-Spark.☆13Updated 4 years ago
- Parallel Specification and Implementation Language☆49Updated 3 weeks ago
- An Ada USB stack for embedded devices☆23Updated 11 months ago
- LLVM based GNAT compiler☆219Updated this week
- Command-line tool from the Alire project and supporting library☆366Updated last week
- NVIDIA Jetson Nano LED Linux driver experiment in Ada☆14Updated 3 years ago
- Learn Ada by programming Minecraft robots!☆19Updated 3 weeks ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆84Updated 4 years ago
- Tiny Lisp Interpreter Written in Ada☆31Updated last month
- Operating System development experiment in Ada☆37Updated 5 years ago
- Community index for the Alire project☆60Updated this week
- DasherA is a Data General DASHER D200/D210 terminal emulator☆37Updated last year
- An attempt at a minimalistic and secure operating system.☆27Updated 4 years ago
- Ada User Community Input Working Group - Github Mirror Prototype☆32Updated last year
- An X11 window manager written in Prolog☆299Updated 2 weeks ago
- Ada-language framework☆48Updated this week
- Ada grammar for tree-sitter☆26Updated last month
- A startup code generator for embedded projects☆32Updated 3 weeks ago
- Ada bindings for the notcurses text user interface library☆13Updated 2 years ago
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆157Updated last week
- A compiler and IDE for the Micron programming language - the Oberon with the power of C☆70Updated last week
- Platform to submit RFCs for the Ada & SPARK languages☆69Updated this week
- An unofficial installer for Alire☆18Updated 9 months ago
- An Ada-oriented GUI☆44Updated 7 months ago
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆46Updated last week
- Framework for writing Linux kernel modules in Ada☆30Updated 7 years ago
- Ada Wavefile Library☆19Updated 3 years ago
- Server implementing the Microsoft Language Protocol for Ada and SPARK☆284Updated this week
- “Quite OK Image” Ada implementation☆15Updated 3 years ago