# IBM/ACE-RISCV

<https://repo.masters-masters.com/en/repos/IBM/ACE-RISCV>

[Home](https://repo.masters-masters.com/en) › [IBM](https://repo.masters-masters.com/en/owners/IBM) › [ACE-RISCV](https://repo.masters-masters.com/en/repos/IBM/ACE-RISCV)

IBM/ACE-RISCV has 220 stars on GitHub. Its RepoMasters card: Prototype tier. Assured confidential execution (ACE) implements VM-based trusted execution…

| Field | Value |
| --- | --- |
| Owner | [IBM](https://repo.masters-masters.com/en/owners/IBM) |
| Stars | 220 |
| Forks | 27 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2023 |
| Topics | confidential-computing, riscv, security, trusted-computing, trusted-execution-environment, virtualization, coq, formal-verification, rust-lang, refinedrust |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [IBM/ACE-RISCV](https://github.com/IBM/ACE-RISCV) |

## Repository

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by IBM

- [IBM/sarama · ★ 12,523 · Go · Stable](https://repo.masters-masters.com/en/repos/IBM/sarama)
- [IBM/plex · ★ 11,736 · CSS · Stable](https://repo.masters-masters.com/en/repos/IBM/plex)
- [IBM/mcp-context-forge · ★ 4,733 · Python · RC](https://repo.masters-masters.com/en/repos/IBM/mcp-context-forge)
- [IBM/AssetOpsBench · ★ 2,409 · Python · RC](https://repo.masters-masters.com/en/repos/IBM/AssetOpsBench)
- [IBM/css-gridish · ★ 2,216 · CSS · RC](https://repo.masters-masters.com/en/repos/IBM/css-gridish)
- [IBM/fp-go · ★ 2,034 · Go · RC](https://repo.masters-masters.com/en/repos/IBM/fp-go)

## Nearby in Rust

- [datafusion-contrib/datafusion-ducklake · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/datafusion-contrib/datafusion-ducklake)
- [second-state/payment-skill · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/second-state/payment-skill)
- [bamboostrip/Handwriting-sim-rs · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/bamboostrip/Handwriting-sim-rs)
- [michaelsproul/rust\_radix\_trie · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/michaelsproul/rust_radix_trie)
- [ticki/eudex · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/ticki/eudex)
- [async-rs/futures-timer · ★ 220 · Rust · Prototype](https://repo.masters-masters.com/en/repos/async-rs/futures-timer)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.