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

Julien Cretin

@ia0

View GitHub Profile

About

Software Engineer

Location Zürich
Company @google
Followers 158
Following 32
Public Repositories 102
Expertise

Skills & Technologies

Rust
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

data-encoding

Rust

Efficient and customizable data-encoding functions in Rust

⭐ 203 Forks: 32
Rust View Project

rust-project-goals

Rust Project Goals tracker

⭐ 0 Forks: 0
Repository View Project

jxl-proofs

An experiment to see what can be proven from https://github.com/libjxl/jxl-rs

⭐ 0 Forks: 0
Repository View Project

aeneas

A verification toolchain for Rust programs

⭐ 0 Forks: 0
Repository View Project

reference-manual

The Lean reference manual

⭐ 0 Forks: 0
Repository View Project

lafont

Rust

Animation of Yves Lafont's Interaction Combinators

⭐ 24 Forks: 2
Rust View Project
← Back to Talent Open GitHub Profile ↗