Neven Villani

meander.typ. Text threading and image wrap-around for Typst

wallrnd. A configurable generator of random abstract time-aware wallpapers

tree-borrows. Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

tree-beamer. Slides and sources for talks on Tree Borrows

billig. A command-line DSL budget manager

chandeliers. A deep embedding of (a subset of) Lustre in Rust by means of `#[proc_macro]`s

website. Sources for my homepage

sorts_visualization. An app built with Qt to visualize a few dozen implemented sorting algorithms.

AoT. Advent of Code in Typst

hy-dro-gen. Unofficial bindings from typst/hypher to native Typst

ray_tracer. A path tracer written in Rust

mpri2-edt. Timetable library (instanciated for the MPRI Level 2 classes)

cocass. A minimal C to ix86 compiler

penpo.typ. o pona e lipu sina a! kepeken ni la sitelen wan taso li kama sitelen Lasina en sitelen pona.

chainmap. Comparable to Python's collections.ChainMap

forklang. A small non-deterministic language for verification of multithreaded protocols

miri. An interpreter for Rust's mid-level intermediate representation

scrybe. Ensure your README is up-to-date with annotations

rask. A toy Scheme interpreter

Vanille-N. Shell

verimag-poster. Poster template for Verimag, written in Typst