xrival

followers

0

following

0

stars

Organizations

Antique-team

Xavier Rival's repositories

QUICr

QUICr parametric abstract domain for sets

Language:OCamlMIT1 10

kanji-frequency

Kanji usage frequency data collected from various sources

Language:JavaScript010

symbolic-sets-paper

Paper on symbolic set abstraction

Language:TeX010