Skip to content

@AluVM Alu Virtual Machine

Change the repository type filter

All

    Repositories list

    9 repositories

    • aluvm

      Public
      AluVM: RISC functional machine base implementation
      rustmicrocontrollersfunctional-programmingvirtual-machinesmart-contractsblockchainembedded-systemsriscinstruction-set-architectureedge-computing
      Rust
      •
      Apache License 2.0
      •22•62•3•0•Updated Feb 25, 2025Feb 25, 2025

    • ultrasonic

      Public
      Transactional execution layer with capability-based memory access for zk-AluVM
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Feb 22, 2025Feb 22, 2025

    • zk-aluvm

      Public
      AluVM extensions for zero knowledge, STARKs and SNARKs
      Rust
      •
      Apache License 2.0
      •0•4•0•0•Updated Feb 22, 2025Feb 22, 2025

    • sonic

      Public
      Toolchain for formally-verifiable distributed contracts
      Rust
      •
      Apache License 2.0
      •2•1•1•2•Updated Feb 15, 2025Feb 15, 2025

    • sonare

      Public
      Runtime environment for formally-verifiable distributed software
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 20, 2024Nov 20, 2024

    • aluasm

      Public
      AluVM assembler
      Rust
      •
      GNU Affero General Public License v3.0
      •4•6•4•0•Updated Mar 28, 2024Mar 28, 2024

    • aluvm-spec

      Public
      Specification of AluVM (algorithmic logic unit VM), its bytecode and assembly language
      smart-contractsblockchainrgbclient-side-validation
      Creative Commons Zero v1.0 Universal
      •3•13•4•0•Updated Feb 20, 2024Feb 20, 2024

    • alure

      Public
      AluVM runtime with I/O extensions (like JRE)
      Rust
      •
      GNU Affero General Public License v3.0
      •3•4•1•0•Updated Jun 8, 2023Jun 8, 2023

    • aluvm-docs

      Public
      Documentation website about AluVM
      1•2•0•0•Updated May 17, 2023May 17, 2023