Skip to content
@AluVM

Alu Virtual Machine

Virtual machine for deterministic functional computing

Pinned Loading

  1. rust-aluvm rust-aluvm Public

    Rust implementation of AluVM (RISC functional machine)

    Rust 60 20

  2. zk-aluvm zk-aluvm Public

    AluVM extensions for zero knowledge, STARKs and SNARKs

    Rust 3

  3. sonare sonare Public

    Runtime environment for formally-verifiable distributed software

    Rust 1

  4. sonic sonic Public

    Toolchain for formally-verifiable distributed contracts

    Rust 1

  5. ultrasonic ultrasonic Public

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

    Rust 1 1

  6. aluasm aluasm Public

    AluVM assembler

    Rust 6 4

Repositories

Showing 9 of 9 repositories
  • sonic Public

    Toolchain for formally-verifiable distributed contracts

    AluVM/sonic’s past year of commit activity
    Rust 0 Apache-2.0 1 0 1 Updated Dec 14, 2024
  • ultrasonic Public

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

    AluVM/ultrasonic’s past year of commit activity
    Rust 1 Apache-2.0 1 0 0 Updated Dec 12, 2024
  • 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 0 0 0 Updated Nov 29, 2024
  • rust-aluvm Public

    Rust implementation of AluVM (RISC functional machine)

    AluVM/rust-aluvm’s past year of commit activity
    Rust 60 Apache-2.0 20 9 (2 issues need help) 3 Updated Nov 29, 2024
  • sonare Public

    Runtime environment for formally-verifiable distributed software

    AluVM/sonare’s past year of commit activity
    Rust 1 Apache-2.0 0 0 0 Updated Nov 20, 2024
  • aluasm Public

    AluVM assembler

    AluVM/aluasm’s past year of commit activity
    Rust 6 AGPL-3.0 4 4 (1 issue needs help) 0 Updated Mar 28, 2024
  • 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 3 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 4 AGPL-3.0 3 1 0 Updated Jun 8, 2023
  • aluvm-docs Public

    Documentation website about AluVM

    AluVM/aluvm-docs’s past year of commit activity
    2 1 0 0 Updated May 17, 2023

Top languages

Rust