- Worldwide
Block or Report
Block or report WorldSEnder
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Virtual Machine/Interpreter dispatch method experiments in Rust
Test Electronic Control Units around the world in a transparent network.
Zero-cost type for stack without complicated type or Box
Rust / Wasm framework for creating reliable and efficient web applications
A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
A MATLAB implementation of the Recursive Parameter Nullspace Algorithm - Paper Under Review
An extension that provides some language features for Yew's html macro syntax in Rust
The FORM project for symbolic manipulation of very big expressions
A command line progress reporting library for Rust
Native integration of Serde with wasm-bindgen
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Functional programming language for signal processing and sound synthesis
A more powerful alternative to sysctl(8) with a terminal user interface 🐧
a structural diff that understands syntax 🟥🟩
A massively parallel, optimal functional runtime in Rust
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Automatic checking for semantic versioning in library crates
A CSS-in-Rust styling solution for WebAssembly Applications
Deduplicating archiver with compression and authenticated encryption.