Skip to content
View salespaulo's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report salespaulo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

79 stars written in Rust
Clear filter

A Decentralized Operating System for ZK Applications

Rust 4,486 2,688 Updated Dec 16, 2025

Build, bundle & ship your Rust WASM application to the web.

Rust 4,082 305 Updated Sep 17, 2025

A template engine for Rust based on Jinja2/Django

Rust 4,056 313 Updated Dec 11, 2025

An alternative BEAM implementation, designed for WebAssembly

Rust 3,594 109 Updated Oct 18, 2023

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Rust 3,566 107 Updated Oct 25, 2024

A snapshot testing library for rust

Rust 2,654 136 Updated Dec 15, 2025

Declare your digital independence

Rust 2,483 111 Updated Dec 16, 2025

Fast SQL-only data application builder. Automatically build a UI on top of SQL queries.

Rust 2,398 159 Updated Dec 12, 2025

rust stackful coroutine library

Rust 2,330 96 Updated Nov 26, 2025

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…

Rust 2,322 227 Updated Dec 16, 2025

🐙 OctoBase is the open-source database behind AFFiNE, local-first, yet collaborative. A light-weight, scalable, data engine written in Rust.

Rust 1,833 130 Updated Mar 5, 2025

Moonfire NVR, a security camera network video recorder

Rust 1,623 169 Updated Oct 3, 2025

🎭 A CLI task runner defined by a simple markdown file

Rust 1,525 57 Updated Jul 15, 2025

Noir is a domain specific language for zero knowledge proofs

Rust 1,255 356 Updated Dec 16, 2025

A Rust framework for correct and performant distributed systems

Rust 1,115 70 Updated Dec 16, 2025

An Erlang VM implementation in Rust

Rust 1,080 42 Updated Jan 12, 2022

An HTTP library and web framework for safe Rust

Rust 944 61 Updated Dec 16, 2025

mini http implemented on top of may

Rust 863 52 Updated May 16, 2025

A collection of lower-level libraries for composable network services.

Rust 759 358 Updated Dec 15, 2025

Feather🪶: A Rust web framework that does not use async

Rust 738 23 Updated Dec 16, 2025

STARK-based virtual machine

Rust 706 246 Updated Dec 16, 2025

Execute WebAssembly from Elixir

Rust 661 42 Updated Dec 16, 2025

Incremental computation through constrained memoization.

Rust 561 23 Updated Dec 2, 2025

A programming language for the decentralized web

Rust 446 18 Updated Mar 7, 2023

The `ztunnel` component of ambient mesh

Rust 422 148 Updated Dec 13, 2025

report progress of concurrent applications and display it in various ways

Rust 385 16 Updated Nov 20, 2025

🗻 A voxel world built with JS/TS/RS. (formerly mc.js) (maybe mine.ts? or even mine.rs?)

Rust 327 31 Updated Mar 23, 2024

Candid Library for the Internet Computer

Rust 297 85 Updated Dec 10, 2025

The Helium Gateway

Rust 291 118 Updated Apr 14, 2025