Popular repositories Loading

1. leanSpec leanSpec Public

   Forked from leanEthereum/leanSpec

   Lean Ethereum protocol specifications and test vector generation framework.

   Python

2. ethlambda ethlambda Public

   Forked from lambdaclass/ethlambda

   A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and performant implementation.

   Rust

3. TensorTonic-Solutions TensorTonic-Solutions Public

   My solutions to TensorTonic problems

   Cuda

4. one-way one-way Public

   A one-way door for any ERC-20. Get paid without sharing a wallet, or leave a known wallet and exit on another chain.

   TypeScript

5. strk20-hackathon strk20-hackathon Public

   Forked from starkience/strk20-hackathon

   Private Sprint: apply by pull request to build a privacy app on Starknet mainnet. 14-31 August 2026.

   JavaScript

6. dane dane Public

   dane