tdelabro

tdelabro's Stars

• greged93/bto-cairo

  Binary Tree Operator written in Cairo

  Language:Cairo11

• jacobaclarke/doit-cli

  A simple task runners for the lazy.

  Language:Rust2

• bigskysoftware/htmx

  </> htmx - high power tools for HTML

  Language:JavaScript42.2k1.4k

• neotheprogramist/starknet-hive

  Language:Rust7

• Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

  Building blocks of a Circle STARK verifier in Bitcoin script

  Language:Rust13523

• starkware-libs/starknet-specs

  Language:JavaScript9678

• keep-starknet-strange/blobstream-starknet

  Celestia -> Starknet bridge

  Language:Cairo4628

• personaelabs/merkle-tree

  Language:Rust311

• lurk-lab/lurk-beta

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

  Language:Rust43658

• paritytech/polkavm

  A fast and secure RISC-V based virtual machine

  Language:Rust27561

• risc0/risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  Language:C++1.7k461

• keep-starknet-strange/snos

  Rust Library for running the Starknet OS via the Cairo VM

  Language:Rust6032

• andrewmilson/ministark

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

  Language:Rust34935

• starknet-io/types-rs

  🐺 Starknet Rust types 🦀

  Language:Rust6743

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust34.5k2.6k

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

  Language:Rust87.5k2.7k

• keep-starknet-strange/madara

  DEPRECATED in favor of https://github.com/madara-alliance/madara

  Language:Rust538291

• starknet-edu/starknet-messaging-bridge

  Learn how to build StarkNet <-> Ethereum cross layer applications

  Language:Cairo13265

• andrewmilson/sandstorm

  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

  Language:Rust15822

• jimmysong/programmingbitcoin

  Repository for the book

  Language:Python1.8k662

• lambdaclass/programming_bitcoin_in_rust

  Implementing the book "Programming Bitcoin" in Rust

  Language:Rust224

• unbalancedparentheses/practical_cryptography_and_distributed_ledgers

  17012

• lambdaclass/cairo_codegen-rs

  A Rust library providing a builder API to generate Cairo code

  8

• ggerganov/whisper.cpp

  Port of OpenAI's Whisper model in C/C++

  Language:C++36.6k3.7k

• tazz4843/whisper-rs

  Rust bindings to https://github.com/ggerganov/whisper.cpp

  Language:Rust717115

• guillaume-be/rust-bert

  Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

  Language:Rust2.7k218

• bluetech/pcsc-rust

  Rust bindings to PC/SC for smart card communication

  Language:Rust11726

• hack-ink/subalfred

  Your Substrate Alfred.

  Language:Rust7411

• apibara/dna

  Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.

  Language:Rust18430

• xJonathanLEI/starknet-rs

  Complete Starknet library in Rust™

  Language:Rust286104