-
codex Public
Forked from openai/codexLightweight coding agent that runs in your terminal
Rust Apache License 2.0 UpdatedSep 22, 2026 -
poetiq-arc-agi-solver Public
Forked from poetiq-ai/poetiq-arc-agi-solverThis repository allows reproduction of Poetiq's record-breaking submission to the ARC-AGI-1 and ARC-AGI-2 benchmarks.
Python UpdatedDec 9, 2025 -
Interplay-LM-Reasoning Public
Forked from Interplay-LM-Reasoning/Interplay-LM-ReasoningPython MIT License UpdatedDec 9, 2025 -
openpi Public
Forked from Physical-Intelligence/openpiPython Apache License 2.0 UpdatedDec 5, 2025 -
mcp-apps-sdk Public
Forked from General-Intelligence-Labs/mcp-apps-sdkBuild ChatGPT Compatible MCP App with UI.
TypeScript MIT License UpdatedNov 1, 2025 -
-
gemini-cli Public
Forked from google-gemini/gemini-cliAn open-source AI agent that brings the power of Gemini directly into your terminal.
TypeScript Apache License 2.0 UpdatedAug 1, 2025 -
universal_manipulation_interface Public
Forked from real-stanford/universal_manipulation_interfaceUniversal Manipulation Interface: In-The-Wild Robot Teaching Without In-The-Wild Robots
Python MIT License UpdatedJul 21, 2025 -
-
-
eliza Public
Forked from elizaOS/elizaAutonomous agents for everyone
TypeScript MIT License UpdatedJan 8, 2025 -
ossutil Public
Forked from aliyun/ossutilA user friendly command line tool to access AliCloud OSS.
Go MIT License UpdatedDec 11, 2024 -
-
transformer_ngrams Public
Forked from google-deepmind/transformer_ngramsJupyter Notebook Apache License 2.0 UpdatedNov 4, 2024 -
upa Public
Forked from NebraZKP/upaUPA is the proof aggregation engine built by NEBRA team.
Rust MIT License UpdatedAug 21, 2024 -
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
Rust Apache License 2.0 UpdatedAug 20, 2024 -
-
-
-
halo2-lib Public
Forked from axiom-crypto/halo2-libMonorepo of halo2 crates
Rust MIT License UpdatedJun 22, 2023 -
-
vamp-ir Public
Forked from anoma/vamp-irVamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Rust Apache License 2.0 UpdatedJun 9, 2023 -
bellperson Public
Forked from filecoin-project/bellpersonzk-SNARK library
Rust Other UpdatedJun 2, 2023 -
plonkathon Public
Forked from 0xPARC/plonkathoneducational python plonk implementation, based on vitalik's py_plonk
Python UpdatedMay 22, 2023 -
ccs-hack Public
Forked from thor314/ccs-hacka hack implementation of CCS generic arithmetization
Rust MIT License UpdatedMay 14, 2023 -
-
-
polkadot Public
Forked from paritytech/polkadotPolkadot Node Implementation
Rust GNU General Public License v3.0 UpdatedJun 15, 2022 -
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development writte 484F n in Rust.
Rust Apache License 2.0 UpdatedApr 17, 2022 -
{{ message }}