Empowering everyone to build reliable and efficient software.
Repository Index
71,372 visible repositories in the index
1–14 of 14 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A Python Interpreter written in Rust
- rust
- python3
- python-language
- jit
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Multi-platform high-performance compute language extension for Rust.
KCL Language Core and API
- record
- configuration
- functional
- policy
A safe, easy systems language
A Rust compiler backend targeting CIL(.NET IR) and C.
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra