Search: github.com/pirapira | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Coq to Rust Program Extraction

github.com/pirapira

10 years ago

99 points

2.

Bamboo: a language for morphing smart contracts

github.com/pirapira

9 years ago

4 points

3.

Bamboo: a language for morphing smart contracts

github.com/pirapira

8 years ago

2 points

4.

Vault-conductor: SSH agent serving keys from Bitwarden Secrets

github.com/pirafrank

4 months ago

1 points