Alu Virtual Machine

Alu Virtual Machine

Skip to content

@AluVM

Pinned Loading

AluVM: RISC functional machine base implementation

Rust 64 22
AluVM extensions for zero knowledge, STARKs and SNARKs

Rust 3 2
Transactional execution layer with capability-based memory access for zk-AluVM

Rust 2 2
Libraries for formally-verifiable distributed contracts

Rust 1 4
Runtime environment for formally-verifiable distributed software

Rust 3

Repositories

Showing 9 of 9 repositories

ultrasonic Public
Transactional execution layer with capability-based memory access for zk-AluVM

AluVM/ultrasonic’s past year of commit activity

Rust
2
Apache-2.0
2 0 0
Updated Jul 30, 2025
aluvm Public
AluVM: RISC functional machine base implementation

AluVM/aluvm’s past year of commit activity

Rust
64
Apache-2.0
22 1 0
Updated Jul 27, 2025
sonic Public
Libraries for formally-verifiable distributed contracts

AluVM/sonic’s past year of commit activity

Rust
1
Apache-2.0
4 0 0
Updated Jul 10, 2025
zk-aluvm Public
AluVM extensions for zero knowledge, STARKs and SNARKs

AluVM/zk-aluvm’s past year of commit activity

Rust
3
Apache-2.0
2 0 0
Updated Jul 10, 2025
sonare Public
Runtime environment for formally-verifiable distributed software

AluVM/sonare’s past year of commit activity

Rust 0 Apache-2.0
3 0 0
Updated Nov 20, 2024
AluVM/aluasm’s past year of commit activity
aluvm-spec Public
Specification of AluVM (algorithmic logic unit VM), its bytecode and assembly language

AluVM/aluvm-spec’s past year of commit activity

13
CC0-1.0
2 4 0
Updated Feb 20, 2024
alure Public
AluVM runtime with I/O extensions (like JRE)

AluVM/alure’s past year of commit activity

Rust
2
AGPL-3.0
2 1 0
Updated Jun 8, 2023
aluvm-docs Public
Documentation website about AluVM

AluVM/aluvm-docs’s past year of commit activity

1
0
0 0
Updated May 17, 2023

Most used topics

Loading…