Home

Welcome!

This is the wiki for the Thumper project, a client/server implementing the RFC-3161 timestamp protocol written in Ada and SPARK. There is formal documentation for this project in the doc folder. The README.md file in the root of the project repository describes how to quickly get set up for developing Thumper. This wiki is intended to contain development notes and ideas... things not appropriate for formal documentation, but too detailed for the top-level README.

Are you looking for something to do? There is a TODO list of potential projects that need doing in the Thumper code base. Also consult the Issues list for other possibilities.

Peter