Skip to content
@heliaxdev

Heliax

Public goods lab.

Popular repositories Loading

  1. namada-faucet namada-faucet Public

    Rust 16 11

  2. plonk plonk Public

    Forked from dusk-network/plonk

    Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

    Rust 14 4

  3. anoma-network-config anoma-network-config Public

    anoma network configuration

    Shell 8 2

  4. rescript-react-feather rescript-react-feather Public

    ReScript bindings generator for the react-feather icon library

    ReScript 6

  5. extensible-data extensible-data Public

    Generate the boilerplate for the Trees That Grow pattern

    Haskell 5

  6. hermes hermes Public

    Forked from informalsystems/hermes

    IBC Relayer in Rust

    Rust 5 10

Repositories

Showing 10 of 108 repositories
  • namada-antithesis Public
    heliaxdev/namada-antithesis’s past year of commit activity
    Rust 0 1 1 1 Updated May 16, 2025
  • migrate-masp-events Public
    heliaxdev/migrate-masp-events’s past year of commit activity
    Go 0 GPL-3.0 2 0 1 Updated May 13, 2025
  • jspaint Public Forked from 1j01/jspaint

    🎨 Classic MS Paint, ＲＥＶＩＶＥＤ + ✨Extras

    heliaxdev/jspaint’s past year of commit activity
    JavaScript 0 MIT 624 0 0 Updated May 8, 2025
  • hermes Public Forked from informalsystems/hermes

    IBC Relayer in Rust

    heliaxdev/hermes’s past year of commit activity
    Rust 5 Apache-2.0 392 14 0 Updated May 7, 2025
  • namada-ci Public
    heliaxdev/namada-ci’s past year of commit activity
    Earthly 0 0 0 2 Updated Apr 29, 2025
  • namada-monitoring Public
    heliaxdev/namada-monitoring’s past year of commit activity
    Rust 0 0 1 0 Updated Apr 25, 2025
  • namada-faucet Public
    heliaxdev/namada-faucet’s past year of commit activity
    Rust 16 11 0 1 Updated Apr 25, 2025
  • bellman-circuit-demo Public

    Demo of creating a ZK circuit using the bellman crate.

    heliaxdev/bellman-circuit-demo’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Apr 23, 2025
  • asterinas Public Forked from asterinas/asterinas

    Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

    heliaxdev/asterinas’s past year of commit activity
    Rust 0 181 0 0 Updated Apr 23, 2025
  • cosmos-ibc-rs Public Forked from informalsystems/ibc-rs

    Rust implementation of the Inter-Blockchain Communication (IBC) protocol.

    heliaxdev/cosmos-ibc-rs’s past year of commit activity
    Rust 0 Apache-2.0 111 0 1 Updated Apr 9, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…