Alternatives and similar repositories for concrete

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

• 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!
  ☆25Updated last year
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆85Updated last year
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆564Updated last week
• lambdaclass / spawned
  A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
  ☆22Updated 2 weeks ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆230Updated last year
• Raiden1411 / zabi
  Interact with ethereum and EVM based chains via Zig!
  ☆111Updated last week
• 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:…
  ☆452Updated 10 months ago
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆227Updated this week
• lambdaclass / lambdaclass_hacking_learning_path
  LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
  ☆440Updated 4 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆133Updated 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 …
  ☆153Updated 8 months ago
• mtlynch / zenith
  An implementation of the Ethereum virtual machine in pure Zig.
  ☆33Updated 11 months ago
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆181Updated 3 weeks ago
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆460Updated this week
• zink-lang / zink
  Rustic programming language that targets the Ethereum Virtual Machine
  ☆172Updated 2 months ago
• rauljordan / zevm
  Zig implementation of the Ethereum Virtual Machine
  ☆86Updated 2 years ago
• Syndica / rocksdb-zig
  RocksDB bindings library for Zig.
  ☆21Updated 3 months ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆64Updated last year
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year
• recmo / uint
  Rust Uint crate using const-generics
  ☆199Updated this week
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆267Updated this week
• zen-eth / eth-p2p-z
  Ethereum p2p implementation in Zig
  ☆26Updated 2 weeks ago
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆224Updated 3 years ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆234Updated this week
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆334Updated last month
• SaberVM / SaberVM
  ☆216Updated last year
• lambdaclass / libtorrent-rs
  A Rust implementation of the BitTorrent V2 protocol
  ☆60Updated 2 years ago
• dada-lang / dada
  I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…
  ☆485Updated 7 months ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆143Updated last week