microsoft / veronaLinks
Research programming language for concurrent ownership
โ3,705Updated last month
Alternatives and similar repositories for verona
Users that are interested in verona are comparing it to the libraries listed below
Sorting:
- Cranelift code generatorโ2,503Updated 5 years ago
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,109Updated last year
- A static, type inferred and embeddable language written in Rust.โ3,383Updated last year
- Alternative rust compiler (re-implementation)โ2,412Updated this week
- Compiler for the Vale programming language - http://vale.dev/โ1,960Updated last year
- Migrate C code to Rustโ4,628Updated this week
- GCC Front-End for Rustโ2,804Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.โ5,086Updated 3 weeks ago
- Safe interop between Rust and C++โ6,628Updated last week
- Source code for the Mun language and runtime.โ2,109Updated 5 months ago
- LR(1) parser generator for Rustโ3,436Updated 2 weeks ago
- ๐งโ๐ฌ Operating systemโ1,447Updated last month
- Tool for safe ergonomic Rust/C++ interop driven from existing C++ headersโ2,506Updated 5 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,980Updated 5 months ago
- LLVM tutorial in Rust languageโ1,228Updated last year
- Lucet, the Sandboxing WebAssembly Compiler.โ4,055Updated 3 years ago
- An interpreter for Rust's mid-level intermediate representationโ5,851Updated this week
- WebAssembly System Interfaceโ5,482Updated 2 weeks ago
- Koka language compiler and interpreterโ3,791Updated last month
- Repository for the Rust Language Server (aka RLS)โ3,508Updated 3 years ago
- A rusty dynamically typed scripting languageโ1,904Updated last month
- The write-once-run-anywhere GPGPU library for Rustโ1,613Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,729Updated last week
- The Rust UI-Toolkit.โ3,787Updated 3 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.โ2,352Updated 2 years ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)โ2,815Updated this week
- The Elegant Parserโ5,266Updated 2 weeks ago
- ๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal Cโ1,598Updated 3 years ago
- Async version of the Rust standard libraryโ4,070Updated 5 months ago
- Create ridiculously fast Lexersโ3,425Updated 2 weeks ago