johntaiko's Stars
Lakr233/ActionBee
A programmable pasteboard action trigger
helix-editor/helix
A post-modern modal text editor.
move-language/move
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
aptos-labs/aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
privacy-scaling-explorations/zkevm-circuits
model-checking/kani
Kani Rust Verifier
charmbracelet/soft-serve
The mighty, self-hostable Git server for the command lineš¦
akula-bft/akula
Fastest Ethereum archive node ever built