Stars
Official code base for LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels
Official codebase for I-JEPA, the Image-based Joint-Embedding Predictive Architecture. First outlined in the CVPR paper, "Self-supervised learning from images with a joint-embedding predictive arch…
GEB: Building A Reality-Perceiving Complex Adaptive System (CAS).
To achieve one thing: understand Bitcoin. By observing the design of Bitcoin, this single, localized individual, abstract the holistic equation of the Bitcoin paradigm to guide the crypto industry …
A next-generation, multi-dimensional consensus framework built upon Bitcoin’s secure and decentralized foundations. BitAgere leverages the “Control–Computation–Communication” (Cognito) model to ach…
Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Super Bitcoin (BEVM architecture upgrade): A Value Internet Sharing Bitcoin’s Consensus Security.
Bitcoin musig2 demo. To make it easier to construct transactions using the api.
SatsChain Bridge (decentralized bridge) is an advanced technical solution designed to achieve decentralized asset transfer between Bitcoin assets (including BTC, BRC20, RUNES, etc.) and SatsChain.
SatsChain is a Bitcoin Layer-2 Network developed based on the BEVM Stack, fully compatible with the Ethereum Virtual Machine (EVM).
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
An innovative design aimed at addressing the scalability limitations of the Bitcoin network by constructing a fully decentralized Layer2 solution.
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
BEVM early white paper, the architecture has been upgraded to Super Bitcoin
A layer 1 daemon, for the Taproot Assets Protocol specification, written in Go (golang)
Generate a validation proof over bitcoin block headers using StarkWare's Cairo toolchain
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Modular stack to build Starknet based scaling engines written in Rust
A STARK proof to sync a Bitcoin full node in an instant.
Multi-chain golang signature sdk, supports bitcoin, ethereum, solana, ton, etc.