Stars
A LaTeX / LuaLaTeX / XeLaTeX template in kaobook style for physics courses used for my website [femto-physique.fr](https://femto-physique.fr)
A generic C++ framework for evolutionary computation
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Remotely control Firefox and other Mozilla apps with JavaScript
The API of WWW::Mechanize, combined with the Javascript-power of Firefox