jianghan1976

jianghan1976's Stars

• mastodon/mastodon

  Your self-hosted, globally interconnected microblogging community

  Language:Ruby46.7k71111.2k6.9k

• openimsdk/open-im-server

  IM Chat

  Language:Go13.7k1911.3k2.4k

• jones2000/HQChart

  HQChart - H5, 微信小程序 沪深/港股/数字货币/期货/美股 K线图(kline),走势图,缩放,拖拽,十字光标,画图工具,截图,筹码图. 分析家语法,通达信语法,(麦语法),第3方数据替换接口

  Language:JavaScript2.9k73103735

• starkware-libs/cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation.

  Language:Rust1.5k19552469

• andrewmilson/ministark

  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

  Language:Rust339131332

• GuildOfWeavers/distaff

  Zero-knowledge virtual machine written in Rust

  Language:Rust241173143

• nervosnetwork/muta

  Muta is a high-performance blockchain framework.

  Language:Rust17215643

• maxgillett/giza

  A Cairo VM prover implemented using Winterfell

  Language:Rust15552615

• VictorColomb/stark-snark-recursive-proofs

  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

  Language:Rust103414

• arucil/gvbasic-simulator4cpp

  GVBASIC Simulator C++ Version

  Language:C++36229