Taran Space
- Korea, South
- https://www.taran.space
- quote@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
Repositories
- audit-reports Public
taran-space/audit-reports’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…