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

Xavier Denis

@xldenis

View GitHub Profile

About

databases, verification & rust @ turbopuffer

Company turbopuffer
Followers 306
Following 66
Public Repositories 121
Expertise

Skills & Technologies

Rust OCaml Haskell HTML JavaScript
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

serde-implicit

Rust

implicitly tagged enum representation for serde

⭐ 5 Forks: 2
Rust View Project

prusti-dev

Rust

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

⭐ 0 Forks: 0
Rust View Project

language-notebook

OCaml

sketches of different programming language ideas

⭐ 1 Forks: 0
OCaml View Project

besm

Haskell

Resurrecting PP-BESM

⭐ 31 Forks: 5
Haskell View Project

opam-coq-archive

JavaScript

Archive for all Coq related OPAM packages organized in various repositories

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