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…
  ☆552Updated this week
• lambdaclass / austral.rs
  An implementation of the Austral language compiler in Rust
  ☆14Updated last year
• OffchainLabs / zig-on-stylus
  EVM-interoperable smart contracts written in Zig!
  ☆23Updated last year
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆85Updated 11 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆221Updated 9 months 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:…
  ☆445Updated 5 months ago
• lambdaclass / lambdaclass_hacking_learning_path
  LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
  ☆381Updated 3 weeks ago
• Raiden1411 / zabi
  Interact with ethereum and EVM based chains via Zig!
  ☆95Updated last week
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆86Updated 4 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆128Updated last week
• recmo / uint
  Rust Uint crate using const-generics
  ☆197Updated last week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆217Updated last month
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆323Updated last week
• thrumdev / nomt
  Super-fast Merklized Embedded Key-Value Store for blockchain nodes
  ☆288Updated this week
• mtlynch / zenith
  An implementation of the Ethereum virtual machine in pure Zig.
  ☆32Updated 6 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆137Updated last month
• lambdaclass / lambdaworks
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆675Updated this week
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆221Updated 2 years ago
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆265Updated this week
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆150Updated last week
• op-rs / kona
  Monorepo for OP Stack Types, Components, and Services built in Rust.
  ☆239Updated this week
• rauljordan / zevm
  Zig implementation of the Ethereum Virtual Machine
  ☆87Updated last year
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆329Updated last week
• jsign / verkle-crypto
  Cryptography for Ethereum Verkle Trees
  ☆41Updated last year
• paritytech / polkavm
  A fast and secure RISC-V based virtual machine
  ☆372Updated this week
• zink-lang / zink
  Rustic programming language that targets the Ethereum Virtual Machine
  ☆159Updated 2 months ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆956Updated last week
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆507Updated 2 months ago
• mratsim / constantine
  Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain prot…
  ☆466Updated this week