microsoft / verona
Research programming language for concurrent ownership
☆3,601Updated 2 weeks ago
Alternatives and similar repositories for verona:
Users that are interested in verona are comparing it to the libraries listed below
- Cranelift code generator☆2,490Updated 4 years ago
- Migrate C code to Rust☆4,123Updated 3 weeks ago
- Repository for the Rust Language Server (aka RLS)☆3,511Updated 2 years ago
- An interpreter for Rust's mid-level intermediate representation☆4,896Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,962Updated 4 months ago
- Async version of the Rust standard library☆4,008Updated 5 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,655Updated this week
- The Rust UI-Toolkit.☆3,787Updated 2 years ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,492Updated 2 weeks ago
- Source code for the Mun language and runtime.☆1,944Updated last week
- A modern TLS library in Rust☆6,480Updated this week
- The write-once-run-anywhere GPGPU library for Rust☆1,603Updated 2 years ago
- A small and fast async runtime for Rust☆3,855Updated this week
- RFCs for changes to Rust☆6,053Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,275Updated 2 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,840Updated 9 months ago
- Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers☆2,345Updated this week
- WebAssembly Virtual Machine☆2,672Updated last year
- LR(1) parser generator for Rust☆3,168Updated this week
- Lucet, the Sandboxing WebAssembly Compiler.☆4,053Updated 2 years ago
- A rusty dynamically typed scripting language☆1,803Updated this week
- Safe interop between Rust and C++☆6,115Updated this week
- An experiment.☆3,857Updated this week
- Tools for concurrent programming in Rust☆7,655Updated 2 weeks ago
- Desktop GUI Framework☆5,963Updated this week
- GCC Front-End for Rust☆2,544Updated this week
- Zero-cost asynchronous programming in Rust☆5,517Updated this week
- the champagne of beta embedded databases☆8,310Updated last month
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,184Updated 2 weeks ago
- Rust extension for Visual Studio Code☆1,388Updated 2 years ago