-
-
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
Python GNU General Public License v3.0 UpdatedMar 11, 2026 -
solana-bench Public
Forked from OpenEdgeHQ/solana-benchmarksolana AI agent benchmark
Python UpdatedFeb 19, 2026 -
dstack Public
Forked from Phala-Network/dstackPhala's SDK to deploy any app to TEE
Rust Apache License 2.0 UpdatedDec 18, 2025 -
-
pevm Public
Forked from risechain/pevmBlazingly fast Parallel EVM
Rust MIT License UpdatedFeb 23, 2025 -
-
-
-
ark-circom Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedAug 26, 2023 -
-
ETHBeijing Public
Forked from WTFAcademy/ETHBeijingETH Beijing Hackathon, 2022.04.05 - 09.
Astro UpdatedApr 3, 2023 -
babyjubjub-rs Public
Forked from arnaucube/babyjubjub-rsBabyJubJub elliptic curve implementation in Rust
Rust GNU General Public License v3.0 UpdatedDec 27, 2022 -
poseidon-rs Public
Forked from arnaucube/poseidon-rsPoseidon hash function
Rust Apache License 2.0 UpdatedNov 22, 2022 -
circomlib Public
Forked from iden3/circomlibLibrary of basic circuits for circom
JavaScript UpdatedOct 11, 2022 -
PKUAutoSubmit_online Public
Forked from xiazhongyv/PKUAutoSubmit_online萌新友好的,无需下载文件与配环境的,基于Github Actions的,P大学生出入校自动报备程序
Python Apache License 2.0 UpdatedAug 7, 2022 -
pkuthss Public
Forked from CasperVector/pkuthssLaTeX template for dissertations in Peking University
TeX UpdatedJul 3, 2022 -
WebService Public
Forked from zm-stack/WebServicecontratct detection in web
JavaScript UpdatedMay 20, 2022 -
-
-
-
-
-
rfcs Public
Forked from nervosnetwork/rfcsThis repository contains proposals, standards and documentations related to Nervos Network.
Python MIT License UpdatedDec 21, 2021 -
named-lock Public
Forked from oblique/named-lockCross-platform implementation of cross-process named locks
Rust MIT License UpdatedJan 30, 2021 -
filecoin-ffi Public
Forked from filecoin-project/filecoin-ffiC and CGO bindings for Filecoin's Rust libraries
Rust Other UpdatedDec 12, 2020 -
rust-fil-proofs-1 Public
Forked from filecoin-project/rust-fil-proofsProofs for Filecoin in Rust
Rust Other UpdatedDec 4, 2020 -
-
SHA-Intrinsics Public
Forked from noloader/SHA-IntrinsicsSHA-1, SHA-256 and SHA-512 compression functions using Intel, ARMv8 and Power8 SHA intrinsics
C UpdatedAug 17, 2020 -
sector-storage Public
Forked from filecoin-project/sector-storageA concrete implementation of the specs-storage interface
Go Other UpdatedAug 2, 2020