Similar repositories to Zondax/ledger-tezos:
Zondax/ledger-tezos
github
similar
ecadlabs/taqueria-github-action
github
similar
drchrispinnock/bakingsetup
github
similar
mimblewimble/grin-security
github
similar
LedgerHQ/ledger-nanos-sdk
github
similar
AztecProtocol/barretenberg
github
similar
ecadlabs/taqueria
github
similar
ohanhi/elm-game-base
github
similar
LedgerHQ/ledgerctl
github
similar
ecadlabs/signatory
github
similar
obsidiansystems/ledger-app-tezos
github
similar
lthms/FreeSpec
github
similar
arkworks-rs/r1cs-std
github
similar
wickedchicken/ocaml_skeleton
github
similar
etomknudsen/tezos-baking
github
similar
AU-COBRA/ConCert
github
similar
oxheadalpha/smart-contracts
github
similar
andrejbauer/Homotopy
github
similar
tqtezos/smart-contracts
github
similar
baking-bad/pytezos
github
similar
type-theory/learn-tt
github
similar
OCamlPro/liquidity
github
similar
LedgerHQ/speculos
github
similar
fluidex/awesome-plonk
github
similar
penumbra-zone/penumbra
github
similar
tezedge/tezedge
github
similar
kukai-wallet/kukai
github
similar
bbuenz/BulletProofLib
github
similar
arkworks-rs/poly-commit
github
similar
DeepSpec/InteractionTrees
github
similar
arkworks-rs/curves
github
similar
formal-land/coq-of-ocaml
github
similar
tqtezos/minter
github
similar
mit-plv/bedrock2
github
similar
Zilliqa/scilla
github
similar
w3f/schnorrkel
github
similar
celestiaorg/celestia-node
github
similar
ecadlabs/taquito
github
similar
verifast/verifast
github
similar
microsoft/PQCrypto-SIDH
github
similar