A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
- rust
- asynchronous
- networking
79,841 visible repositories in the index
1–22 of 22 · Most stars
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
⭐️ A friendly language for building type-safe, scalable systems!
LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.
Light LDAP implementation
Automatically generates Rust FFI bindings to C (and some C++) libraries.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Borgo is a statically typed language that compiles to Go.
Build, bundle & ship your Rust WASM application to the web.
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
High-performance runtime for data analytics applications
A statically typed language compatible with Python
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM
A rusty dynamically typed scripting language
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.
A CSS-in-Rust styling solution for WebAssembly Applications
A best-of-breed language with a holistic approach to moving the needle
A high-performance engine for matrix 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.
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
A handy calculator, based on Rust and WebAssembly.
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436