🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Repository Index
88,073 visible repositories in the index
1–7 of 7 · Most stars
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
A Rust compiler backend targeting CIL(.NET IR) and C.
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functionality.
- uefi
- rust
- osdev
Secure firmware framework focusing on developer experience
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono