Pinned Repositories
billig
A command-line DSL budget manager
chandeliers
A deep embedding of (a subset of) Lustre in Rust by means of `#[proc_macro]`s
cocass
A minimal C to ix86 compiler
mpri2-edt
Timetable library (instanciated for the MPRI Level 2 classes)
sorts_visualization
An app built with Qt to visualize a few dozen implemented sorting algorithms.
TIPE
Simulation de la circulation thermohaline
tree-beamer
Slides and sources for talks on Tree Borrows
tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
wallrnd
A configurable generator of random abstract time-aware wallpapers
website
Sources for my homepage
Vanille-N's Repositories
Vanille-N/wallrnd
A configurable generator of random abstract time-aware wallpapers
Vanille-N/tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
Vanille-N/billig
A command-line DSL budget manager
Vanille-N/tree-beamer
Slides and sources for talks on Tree Borrows
Vanille-N/chandeliers
A deep embedding of (a subset of) Lustre in Rust by means of `#[proc_macro]`s
Vanille-N/chainmap
Comparable to Python's collections.ChainMap
Vanille-N/forklang
A small non-deterministic language for verification of multithreaded protocols
Vanille-N/mpri2-edt
Timetable library (instanciated for the MPRI Level 2 classes)
Vanille-N/website
Sources for my homepage
Vanille-N/cocass
A minimal C to ix86 compiler
Vanille-N/miri
An interpreter for Rust's mid-level intermediate representation
Vanille-N/Vanille-N
Vanille-N/sylex
Build tool for LaTeX
Vanille-N/TIPE
Simulation de la circulation thermohaline
Vanille-N/biosynth
Initiation to Research -- Distributed Synthetic Microbiology
Vanille-N/codeforces
Vanille-N/dotfiles
Vanille-N/fling
A ball puzzle
Vanille-N/multithread-wc
Vanille-N/penguins
A solver for the puzzle game "Don't touch my fish"
Vanille-N/rem
Cancellable and friendly alternative to rm
Vanille-N/roguelike
Vanille-N/sat-solver
Vanille-N/set_wallpaper
A cross-platform Rust library for getting and setting desktop wallpapers
Vanille-N/shell
A simple shell
Vanille-N/tags
A small rust utility to edit audio file tags based on taglib
Vanille-N/trybuild
Test harness for ui tests of compiler diagnostics
Vanille-N/unsafe-code-guidelines
Forum for discussion about what unsafe code can and can't do
Vanille-N/website-copy
A repository for exercism's website's copy
Vanille-N/ziglings
Learn the Zig programming language by fixing tiny broken programs.