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

banri

@banr1

View GitHub Profile

About

Co-founder of Nyx Foundation. Lean, Ethereum, AI for math, Formal verification, Cryptography.

Location Tokyo
Company @NyxFoundation
Followers 32
Following 5
Public Repositories 331
Expertise

Skills & Technologies

Zig Lean TypeScript
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

x-ghostty

Zig

No project description available.

⭐ 0 Forks: 0
Zig View Project

tailored-verified-consensus

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

tailored-bend

TypeScript

No project description available.

⭐ 0 Forks: 0
TypeScript View Project

tailored-con-leche

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

tailored-fluid_lean

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

tailored-NavierStokesAndEuler

Lean

No project description available.

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