Stars
Secure and fast microVMs for serverless computing.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
An interactive replacer for ripgrep that makes it easy to find and replace across files on the command line.
Harness the power of Rust. Those fast productivity tools based on Rust.
An Open Source Machine Learning Framework for Everyone
A refreshingly simple data-driven game engine built in Rust
Packet, where are you? -- eBPF-based Linux kernel networking debugger
Platform for hosting and sharing terminal session recordings
Web player for terminal session recordings and streams
Terminal session recorder, streamer and player 📹
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Extensible auto-tagger for your IaC files. The ultimate way to link entities in the cloud back to the codified resource which created it.
A Kubernetes controller for Elastic Load Balancers
Database replication platform that leverages change data capture. Stream production data from databases to your data warehouse (Snowflake, BigQuery, Redshift, Databricks) in real-time.
A modern load testing tool, using Go and JavaScript
A Terraform Module for how to run Vault on AWS using Terraform and Packer