stechu
-
Acala Public
Forked from AcalaNetwork/AcalaAcala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
Rust GNU General Public License v3.0 UpdatedAug 7, 2021 -
-
-
awesome-applied-crypto Public
Awesome applied cryptographic learning
-
awesome-zero-knowledge-proofs Public
Forked from matter-labs/awesome-zero-knowledge-proofsA curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Other UpdatedJun 1, 2020 -
bellperson Public
Forked from filecoin-project/bellpersonzk-SNARK library
Rust Other UpdatedJun 2, 2023 -
calcite Public
Forked from apache/calciteMirror of Apache Calcite
Java Apache License 2.0 UpdatedSep 25, 2017 -
ccs-hack Public
Forked from thor314/ccs-hacka hack implementation of CCS generic arithmetization
Rust MIT License UpdatedMay 14, 2023 -
ChainBridge Public
Forked from ChainSafe/ChainBridge🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, based chains.
Go GNU Lesser General Public License v3.0 UpdatedSep 1, 2021 -
-
-
crypto-primitives Public
Forked from arkworks-rs/crypto-primitivesInterfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Rust Apache License 2.0 UpdatedSep 13, 2021 -
-
-
-
-
-
derive-pallet-assets-trait-error-2 Public
Forked from ghzlatarev/derive-pallet-assets-trait-error-2Rust The Unlicense UpdatedJul 15, 2021 -
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Rust Apache License 2.0 UpdatedJan 20, 2021 -
-
DopCert-PAUG Public
Forked from uwdb/CosetteDopCert is a framework for formally verifying query optimization
Coq UpdatedSep 19, 2016 -
-
eliza Public
Forked from elizaOS/elizaAutonomous agents for everyone
TypeScript MIT License UpdatedJan 8, 2025 -
-
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq MIT License UpdatedMay 10, 2020 -
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Rust Apache License 2.0 UpdatedApr 17, 2022 -
FreebaseToCSV Public
Dump freebase triple to standard CSV file
-
Gantt-Chart Public
Forked from dk8996/Gantt-ChartGantt chart library using D3.js.
JavaScript UpdatedJun 26, 2013 -