Explore @heliaxdev Open Source projects

Heliax (@heliaxdev)

heliaxdev

Stars
110
Global Org. Rank 55,390 (Top 18 %)
Registered almost 4 years ago
Most used languages

Rust
38.9 %

Shell
11.1 %

Python
11.1 %

Go
11.1 %

Haskell
5.6 %

TeX
5.6 %

PLpgSQL 5.6 %

ReScript 5.6 %

Common Lisp
5.6 %

witch

like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.

namada-faucet

anoma-network-config

anoma network configuration

rescript-react-feather

ReScript bindings generator for the react-feather icon library

extensible-data

Generate the boilerplate for the Trees That Grow pattern

kzg-setup-powersoftau

index-set

A sparse bit set Rust crate

smooth-operator

Rust checked arithmetic without the visual clutter

namada-wallet-go

Alternative Namada wallet in Go

totality-checker

A totality checker for a dependently typed language implemented in Haskell.

namada-shielded-expedition-score-extractor

namada-mainnet-genesis-test

namada-load-testing

ethereum-bridge-rpc-test

Test Ethereum smart contract calls from Rust

Org-Generation

Org documentation for code bases

anoma-docker-images

Docker images for Anoma

ethbridge-rs

Namada Ethereum bridge Rust compatible types

namada-address-migrations

Migrate Namada addresses to new formats

validate-template