Alternatives and similar repositories for concrete:

Users that are interested in concrete are comparing it to the libraries listed below

• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆541Updated this week
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆86Updated 8 months ago
• lambdaclass / lambdaclass_hacking_learning_path
  LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
  ☆334Updated 3 weeks ago
• 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:…
  ☆447Updated 2 months ago
• lambdaclass / lambdaworks
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆666Updated 2 weeks ago
• Raiden1411 / zabi
  Interact with ethereum and EVM based chains via Zig!
  ☆87Updated last week
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆126Updated this week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆218Updated 5 months ago
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆300Updated last week
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆899Updated this week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆214Updated 2 weeks ago
• fborello-lambda / quiero_mate
  🧉 Mate Queue Organizer GUI
  ☆11Updated last month
• recmo / uint
  Rust Uint crate using const-generics
  ☆188Updated 3 weeks ago
• lambdaclass / ethrex
  ethrex: Ethereum Rust Execution L1 and L2 client.
  ☆346Updated this week
• OffchainLabs / zig-on-stylus
  EVM-interoperable smart contracts written in Zig!
  ☆22Updated 9 months ago
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆172Updated 9 months ago
• rauljordan / zevm
  Zig implementation of the Ethereum Virtual Machine
  ☆84Updated last year
• lambdaclass / austral.rs
  An implementation of the Austral language compiler in Rust
  ☆14Updated last year
• noir-lang / noir
  Noir is a domain specific language for zero knowledge proofs
  ☆1,040Updated this week
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆317Updated 4 months ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆245Updated this week
• zig-bitcoin / btczee
  Bitcoin protocol implementation in Zig.
  ☆60Updated 6 months ago
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆135Updated last year
• mratsim / constantine
  Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain prot…
  ☆454Updated 3 weeks ago
• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Updated 11 months ago
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆216Updated this week
• 0xPARC / 0xparc-intro-book
  Introductory lecture notes on programmable cryptography
  ☆100Updated last week
• jsign / verkle-crypto
  Cryptography for Ethereum Verkle Trees
  ☆41Updated 10 months ago
• lambdaclass / libtorrent-rs
  A Rust implementation of the BitTorrent V2 protocol
  ☆57Updated 2 years ago
• SaberVM / SaberVM
  ☆204Updated 9 months ago