heliaxdev/validate-template heliaxdev/validate-template

  • Stars
    star
    1
  • Language
    Rust
  • Created 12 months ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
heliaxdev/validate-template
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

kzg-setup-powersoftau

Rust
4
star
7

index-set

A sparse bit set Rust crate
Rust
3
star
8

smooth-operator

Rust checked arithmetic without the visual clutter
Rust
3
star
9

namada-wallet-go

Alternative Namada wallet in Go
Go
3
star
10

totality-checker

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

namada-shielded-expedition-score-extractor

PLpgSQL
2
star
12

namada-mainnet-genesis-test

Python
1
star
13

namada-load-testing

Python
1
star
14

ethereum-bridge-rpc-test

Test Ethereum smart contract calls from Rust
Rust
1
star
15

Org-Generation

Org documentation for code bases
Common Lisp
1
star
16

anoma-docker-images

Docker images for Anoma
Shell
1
star
17

ethbridge-rs

Namada Ethereum bridge Rust compatible types
Rust
1
star
18

namada-address-migrations

Migrate Namada addresses to new formats
Go
1
star