NVIDIA / cuda-rust

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

gleam-lang / gleam

⭐️ A friendly language for building type-safe, scalable systems!

BoundaryML / baml

The programming language for agents

kcl-lang / kcl

KCL Language Core and API

paradigmxyz / solar

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

mattwparas / steel

An embedded scheme interpreter in Rust

rune-rs / rune

An embeddable dynamic programming language for Rust.

ivov / lisette

A little language inspired by Rust that compiles to Go

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

inko-lang / inko

A language for building concurrent software with confidence

rue-language / rue

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

microsoft / qdk

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

ehsanmok / create-your-own-lang-with-rust

Create your own programming language with Rust

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

starkware-libs / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

aspizu / goboscript

goboscript is the Scratch compiler

VHDL-LS / rust_hdl

A fast VHDL language server and analysis library written in Rust

luxine / CalcKernel

CalcKernel compiler, runtime, tests, examples, documentation, and public releases

carthage-software / whim

The Whim Programming Language

Towow-ai / jpp

J++: an experimental language with standalone source and a Rust runtime. Compose questions and methods. 独立源码，组合问题与方法。

wavect / semaprax

The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.

StepfenShawn / Cantonese

粤语編程語言.The Cantonese programming language.