This is your work, valued

Grenoble, France

Neven Villani

Expert
@Vanille-N

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

148

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

59

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

29

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

16

billig. A command-line DSL budget manager

13

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

6

website. Sources for my homepage

6

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

5

AoT. Advent of Code in Typst

4

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

3

ray_tracer. A path tracer written in Rust

3

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

3

cocass. A minimal C to ix86 compiler

2

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

2

chainmap. Comparable to Python's collections.ChainMap

2

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

2

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

1

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

1

rask. A toy Scheme interpreter

1

Vanille-N. Shell

1

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

1