Xavier Denis

icon indicating a website link https://www.lri.fr/~xldenis

icon company LMF icon location Paris icon location phd student working on Rust verification. provably incorrect

Results 4 repositories owned by Xavier Denis

ill

20
Stars
0
Forks
Watchers

educational compiler for not (quite) toy languages

verified publisher icon xldenis

obsidian-latex

64
Stars
25
Forks
Watchers

verified publisher icon xldenis

stackqueue

15
Stars
0
Forks
Watchers

Use stackoverflow to find out how much you know.

verified publisher icon xldenis

besm

23
Stars
3
Forks
Watchers

Resurrecting PP-BESM

verified publisher icon xldenis