Alternatives and similar repositories for verona:

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

• immunant / c2rust
  Migrate C code to Rust
  ☆4,178Updated 2 weeks ago
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,491Updated 4 years ago
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,007Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,984Updated 6 months ago
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,713Updated last month
• dtolnay / cxx
  Safe interop between Rust and C++
  ☆6,201Updated this week
• DataDog / glommio
  Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …
  ☆3,216Updated last month
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,436Updated last week
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆7,755Updated 2 weeks ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,466Updated last week
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,053Updated 3 years ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,064Updated 3 weeks ago
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,858Updated 10 months ago
• async-rs / async-std
  Async version of the Rust standard library
  ☆4,024Updated 2 weeks ago
• tokio-rs / mio
  Metal I/O library for Rust.
  ☆6,558Updated 2 weeks ago
• google / autocxx
  Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
  ☆2,404Updated 3 weeks ago
• rust-lang / hashbrown
  Rust port of Google's SwissTable hash map
  ☆2,600Updated 3 weeks ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,690Updated this week
• maciejhirsz / logos
  Create ridiculously fast Lexers
  ☆3,098Updated 3 weeks ago
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,289Updated 3 months ago
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,196Updated 3 weeks ago
• pest-parser / pest
  The Elegant Parser
  ☆4,847Updated last week
• mozilla / sccache
  Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…
  ☆6,208Updated 2 weeks ago
• mun-lang / mun
  Source code for the Mun language and runtime.
  ☆1,965Updated 2 weeks ago
• google / tarpc
  An RPC framework for Rust with a focus on ease of use.
  ☆3,421Updated last week
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,836Updated last year
• EmbarkStudios / rust-gpu
  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
  ☆7,445Updated 4 months ago
• rust-bakery / nom
  Rust parser combinator framework
  ☆9,815Updated last month
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,904Updated 3 weeks ago
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,379Updated last month