Xavier Denis

formal verification hacker

Results 4 repositories owned by


                                            Xavier Denis

ill

20

Stars

0

Forks

Watchers

educational compiler for not (quite) toy languages

functional-languages

obsidian-latex

64

Stars

25

Forks

Watchers

stackqueue

15

Stars

0

Forks

Watchers

Use stackoverflow to find out how much you know.

besm

25

Stars

3

Forks

Watchers

Resurrecting PP-BESM