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
  • Chandeliers (Rust) is a proc macro library that implements the Lustre language inside Rust.
  • Minihell (OCaml) is a type inference engine for a toy language implemented for the MPRI class 2.4 (Functionnal Programming). The language is ML-style without polymorphism and supports inductive algebraic datatypes.
  • 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
    To appear in OPODIS 2022 (Brussels, Belgium).
    [arxiv] [paper] [beamer]

    Tree Borrows

    I have worked at MPI-SWS, Saarland (Germany) on the miri Rust interpreter to develop Tree Borrows, an aliasing model. Presentations of Tree Borrows have been given online at RFMIG and in person to teams from ETH Zurich and Inria Saclay. You can look at the material and a 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]