An incremental parsing system for programming tools
βοΈ A friendly language for building type-safe, scalable systems!
βοΈ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
π₯§ Savoury implementation of the QUIC transport protocol and HTTP/3
The programming language for agents
Tools for concurrent programming in Rust
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models
Zero-cost asynchronous programming in Rust
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
π Amber the programming language compiled to Bash/Ksh/Zsh
Safe and rich Rust wrapper around the Vulkan API
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
A Text User Interface library for the Rust programming language
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A full-featured and easy-to-use web framework with the Rust programming language.
Native PostgreSQL driver for the Rust programming language
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
π Making Rust a first-class language and ecosystem for GPU shaders π§
AWS SDK for the Rust Programming Language
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
A Python tool to visualize + enforce dependencies, using modular architecture π Open source π Installable via pip π§ Able to be adopted incrementally - β‘ Implemented with no runtime impact βΎοΈ Interoperable with your existing systems π¦ Written in rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
An embedded scheme interpreter in Rust
KCL Language Core and API
An embeddable dynamic programming language for Rust.
A tacit array programming language
A programming language for AI orchestrations
Distributed systems runtime daemon written in Rust.
Crush is a command line shell that is also a powerful modern programming language.
Learn and Practice the Rust programming language the effective way.
Rust Programming Language Tutorials for Everyone!
A CLI code-typing game that turns your source code into typing challenges
The goal is to make it easier to configure your favorite Linux distribution as a router. Built with Rust and eBPF.
A little language inspired by Rust that compiles to Go
A high-performance, lightweight, and cross-platform QUIC library
Noir is a domain specific language for zero knowledge proofs
A language for building concurrent software with confidence
modular service framework to move and transform network packets
Safe rust wrapper around CUDA toolkit
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
η²€θ―η·¨η¨θͺθ¨.The Cantonese programming language.
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
Zero-cost & Type-safe Reactive Extensions for Rust. Supports both high-performance single-threaded (Local) and thread-safe (Shared) contexts. WASM & Tokio ready.
βοΈ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
Create your own programming language with Rust
Kaspa full-node reference implementation and related libraries in the Rust programming language
JS runtime lolz
Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.
Synthesized Logic Language for World Models π±ππ
The best OSS remote pair programming app.
shai is a coding agent, your pair programming buddy that lives in the terminal. Written in rust with love <3
Intermediate Language (IL) for Hardware Accelerator Generators
Compiler for the Valen programming language
A clipboard manager written in Rust Programming Language.
BGP implemented in the Rust Programming Language
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.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust