Taran Space
Popular repositories Loading
-
-
-
coq-java
coq-java PublicForked from kirillt/coq
Modification of Coq proof assistant capable of extracting fully-functionable Java 1.7 code from specifications
OCaml
-
polkadot-cli
polkadot-cli PublicForked from kirillt/substrate-cli-tools
Lightweight CLI tools for Polkadot and Substrate nodes
JavaScript
-
tx-util
tx-util PublicForked from otimlabs/tx-util
Utility for rlp-encoding and signing new EIP-2718 typed transactions for testing
Rust
-
competition-2025-11-03-zksync-os-crypto
competition-2025-11-03-zksync-os-crypto PublicPublic Security Competition: cryptographic modules in ZKsync OS
Repositories
- audit-reports Public
taran-space/audit-reports’s past year of commit activity - linea Public Forked from Consensys/linea-monorepo
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orchestrations, and the Postman to execute bridge messages
taran-space/linea’s past year of commit activity - quantum-fusion Public
taran-space/quantum-fusion’s past year of commit activity - algebra Public Forked from arkworks-rs/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
taran-space/algebra’s past year of commit activity - competition-2025-11-03-zksync-os-crypto Public
Public Security Competition: cryptographic modules in ZKsync OS
taran-space/competition-2025-11-03-zksync-os-crypto’s past year of commit activity - helios-demo Public
taran-space/helios-demo’s past year of commit activity - coq-java Public Forked from kirillt/coq
Modification of Coq proof assistant capable of extracting fully-functionable Java 1.7 code from specifications
taran-space/coq-java’s past year of commit activity - tx-util Public Forked from otimlabs/tx-util
Utility for rlp-encoding and signing new EIP-2718 typed transactions for testing
taran-space/tx-util’s past year of commit activity - polkadot-cli Public Forked from kirillt/substrate-cli-tools
Lightweight CLI tools for Polkadot and Substrate nodes
taran-space/polkadot-cli’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…