Skip to content
View pabloski80's full-sized avatar

Block or report pabloski80

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

31 stars written in Rust
Clear filter

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 33,707 3,338 Updated Nov 6, 2025

Self-hosted AI coding assistant

Rust 32,371 1,632 Updated Nov 6, 2025

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Rust 32,231 1,922 Updated Nov 4, 2025

An incremental parsing system for programming tools

Rust 22,629 2,180 Updated Nov 4, 2025

🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

Rust 21,028 604 Updated Jan 6, 2025

📊 Cube Core is open-source semantic layer and LookML alternative for AI, BI and embedded analytics

Rust 19,022 1,914 Updated Nov 6, 2025

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Rust 18,148 947 Updated Aug 2, 2024

Hurl, run and test HTTP requests with plain text.

Rust 18,060 694 Updated Nov 6, 2025

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Rust 16,092 1,089 Updated Nov 4, 2025

Sampling profiler for Python programs

Rust 14,528 483 Updated Nov 5, 2025

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Rust 12,598 1,805 Updated Nov 6, 2025

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Rust 5,953 221 Updated Nov 5, 2025

Automatically generates Rust FFI bindings to C (and some C++) libraries.

Rust 4,987 770 Updated Nov 3, 2025

An implementation of differential dataflow using timely dataflow on Rust.

Rust 2,842 196 Updated Oct 23, 2025

Hermit for Rust.

Rust 1,838 101 Updated Nov 5, 2025

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,696 118 Updated Nov 4, 2025

cwe_checker finds vulnerable patterns in binary executables

Rust 1,279 136 Updated Apr 10, 2025

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Rust 902 66 Updated May 29, 2024
Rust 748 46 Updated Nov 6, 2025

Use Tree Sitter to parse your own languages in Rust

Rust 679 26 Updated Jun 18, 2025

Rust bindings for the Z3 solver.

Rust 440 134 Updated Oct 21, 2025

Vulkan bindings for Rust.

Rust 334 39 Updated Oct 31, 2025

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Rust 312 47 Updated Jun 3, 2025

language-agnostic program reducer.

Rust 196 27 Updated Jun 11, 2025

A stupid Rust memory allocator

Rust 194 1 Updated Feb 16, 2025

An implementation of differential dataflow using timely dataflow on Rust.

Rust 175 7 Updated Oct 23, 2025

erlfuzz is a fuzzer for the Erlang ecosystem

Rust 126 12 Updated Oct 22, 2025

world's worst interpreter

Rust 62 3 Updated Apr 23, 2025

A compiler for the MONAD language from Advent of Code 2021 Day 24

Rust 21 2 Updated Dec 13, 2022

Sys, but no longer in Haskell

Rust 18 1 Updated Mar 14, 2022
Next