100% Free Free Rank Your Site Faster — Get a Quality Backlink Today
Get Started
RustyYato
GitHub

RustyYato

@RustyYato

View GitHub Profile
Followers 83
Following 30
Public Repositories 119
Expertise

Skills & Technologies

Rust Lean
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

btree

Rust

No project description available.

⭐ 2 Forks: 0
Rust View Project

rust

Rust

Empowering everyone to build reliable and efficient software.

⭐ 0 Forks: 0
Rust View Project

math

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.

⭐ 0 Forks: 0
Repository View Project

generativity

No project description available.

⭐ 0 Forks: 0
Repository View Project

lean4-type-theory

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project
← Back to Talent Open GitHub Profile ↗