Vanille-N

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

billig

A command-line DSL budget manager

tree-beamer

Slides and sources for talks on Tree Borrows

chandeliers

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

chainmap

Comparable to Python's collections.ChainMap

forklang

A small non-deterministic language for verification of multithreaded protocols

mpri2-edt

Timetable library (instanciated for the MPRI Level 2 classes)

website

Sources for my homepage

cocass

A minimal C to ix86 compiler

miri

An interpreter for Rust's mid-level intermediate representation

Vanille-N

sylex

Build tool for LaTeX

TIPE

Simulation de la circulation thermohaline

biosynth

Initiation to Research -- Distributed Synthetic Microbiology

codeforces

dotfiles

fling

A ball puzzle

multithread-wc

penguins

A solver for the puzzle game "Don't touch my fish"

rem

Cancellable and friendly alternative to rm

roguelike

sat-solver

set_wallpaper

A cross-platform Rust library for getting and setting desktop wallpapers

shell

A simple shell

tags

A small rust utility to edit audio file tags based on taglib

trybuild

Test harness for ui tests of compiler diagnostics

unsafe-code-guidelines

Forum for discussion about what unsafe code can and can't do

website-copy

A repository for exercism's website's copy

ziglings

Learn the Zig programming language by fixing tiny broken programs.