Neven Villani (Vanille)

Documents

See /share

Projects

  • Pytrace (Rust), able to render videos and high-quality images, also available as a Python library
  • COCass (OCaml), native compiler for a small C without floating-point arithmetic, but with added exception handling
  • Forklang (C), a small non-deterministic language to validate parallelized protocols
  • Billig (Rust) is a DSL to record expenses, ergonomic enough for my current daily usage but still a work in progress
  • Talks

    Hysteresis in a model of thermohaline oceanic circulation

    Should have been used for the 2020 TIPE oral exam
    [git]

    Recognition of Dynamic Unit Disk Graphs

    Following an intership with Arnaud Casteigts at LaBRI (France).
    Presented at AATG 2021 (online).
    [video] [beamer] [report]

    Mending Partial Solutions with Few Changes

    Following an internship with Jukka Suomela and Darya Melnyk at Aalto University, Finland
    Published at OPODIS 2022 (Brussels, Belgium).
    [arxiv] [paper (author's version)] [paper (publisher's version)] [beamer]

    Tree Borrows, an aliasing model for Rust

    with Ralf Jung and Derek Dreyer at Max Planck Institute for Software Systems, Germany
    Presentation at Rust Formal Methods Interest Group [beamer] [implementation] [model] [recording]

    Tooling

    Some various tools I like and frequently use.
    zathura (pdf viewer) [Official] [ArchWiki] [Arch]
    mpv (video player) [Official] [ArchWiki] [Arch]
    bat (cat) [GitHub] [Crates]
    skim (fuzzy file finder) [GitHub] [Crates]
    starship (shell prompt) [Official] [GitHub] [Crates]
    ripgrep (grep replacement) [GitHub] [Crates]
    tealdeer (tldr client, short man pages) [GitHub] [Crates]
    tokei (count lines of code) [GitHub] [Crates]
    hyperfine (benchmarking) [GitHub] [Crates]