Studying how compiler optimizations break and fix constant-time

The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.

Portals in Unity

Pure Go implementation of the WebRTC API

A language for intent-centric and declarative decentralised applications

WebAssembly specification, reference interpreter, and test suite.

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

A loop quasi-invariant chunk motion pass

Run multiple shell commands in parallel

Stream your own music collection to all your devices! The easy to use free and open-source music streaming server.

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

A Coq IDE build on top of Proof General's Coq mode

UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

Le code civil français sous git

Word translator in Vim. Translate over the cursor.

x My dotfiles repo.

Trying a clang pass. It is great fun.

Shishell is an attempt at writing an interactive shell with a vi-like input mode that supports yanking and registers.

GitLab installation and use tutorials for the leanforge platform

My dotfiles (.Xdefaults, .i3/config, .i3status, .zshrc) and most of my vim configuration, including some plugins.

My vimrc configuration.

Application targetting desktop and mobile to organize your tv series

Vim plugin for the Perl module / CLI script 'ack'

The ultimate Vim configuration (vimrc)

KineticJS is an HTML5 Canvas JavaScript framework that extends the 2d context by enabling canvas interactivity for desktop and mobile applications.