Automated generation of provably secure, zero-copy parsers from format specifications

GitHub action that runs a command and store its output

Widgets for Awesome Window Manager

Your favorite operating systems in one place. A network-based bootable operating system installer based on iPXE.

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

A Vim plugin that manages your tag files

Turn your favourite regex into FAT32

A two-page cheatsheet for restructured text

📚 Collaborative cheatsheets for console commands

WoeUSB is a simple tool that enable you to create your own usb stick windows installer from an iso image or a real DVD. It is a fork of Congelli501's WinUSB.

Recall what you did on the last working day. Psst! or be nosy and find what someone else in your team did ;-)

Change the urxvt font size on the fly

A Proof-oriented Programming Language