- Sweden
Stars
Scan your Rust crate for semver violations.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Empowering everyone to build reliable and efficient software.
A model checker for implementing distributed systems.
Language server and other tools for WebAssembly.
An alternative API for filtering data with Spring MVC & Spring Data JPA
A Stable ABI for Rust with compact sum-types
Command-line sampling profiler for macOS, Linux, and Windows
One Warehouse for Analytics, Search, AI. Snowflake + Elasticsearch + Vector DB — rebuilt from scratch. Unified architecture on your S3.
Multi-modal constructive solid geometry kernel in Rust
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Build production-ready applications in TypeScript
A Rust CPU profiler implemented with the help of backtrace-rs
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.