heliaxdev/kzg-setup-powersoftau heliaxdev/kzg-setup-powersoftau

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
heliaxdev/kzg-setup-powersoftau
github

heliaxdev

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

witch

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

namada-faucet

Rust
14
star
3

anoma-network-config

anoma network configuration
Shell
6
star
4

rescript-react-feather

ReScript bindings generator for the react-feather icon library
ReScript
6
star
5

extensible-data

Generate the boilerplate for the Trees That Grow pattern
Haskell
5
star
6

index-set

A sparse bit set Rust crate
Rust
3
star
7

smooth-operator

Rust checked arithmetic without the visual clutter
Rust
3
star
8

namada-wallet-go

Alternative Namada wallet in Go
Go
3
star
9

totality-checker

A totality checker for a dependently typed language implemented in Haskell.
TeX
2
star
10

namada-shielded-expedition-score-extractor

PLpgSQL
2
star
11

namada-mainnet-genesis-test

Python
1
star
12

namada-load-testing

Python
1
star
13

ethereum-bridge-rpc-test

Test Ethereum smart contract calls from Rust
Rust
1
star
14

Org-Generation

Org documentation for code bases
Common Lisp
1
star
15

anoma-docker-images

Docker images for Anoma
Shell
1
star
16

ethbridge-rs

Namada Ethereum bridge Rust compatible types
Rust
1
star
17

namada-address-migrations

Migrate Namada addresses to new formats
Go
1
star
18

validate-template

Rust
1
star