HAC Ada Compiler - a small, quick Ada compiler fully in Ada
-
Updated
Apr 20, 2026 - Ada
#
project-metic
Here are 15 public repositories matching this topic...
CUDA tooling (fork — Magnon Metic GPU compute verification)
-
Updated
Apr 20, 2026 - Ada
Proof synthesis tooling for Verus (fork — Magnon Metic binary verification)
-
Updated
May 18, 2026 - Rust
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
-
Updated
May 19, 2026 - Ada
Patchestry is a binary patching framework built with MLIR and Ghidra.
-
Updated
May 18, 2026 - C++
A formally verified security module for AMD confidential VMs
-
Updated
May 18, 2026 - Rust
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
-
Updated
May 18, 2026 - C++
Improve this page
Add a description, image, and links to the project-metic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the project-metic topic, visit your repo's landing page and select "manage topics."