Skip to content

Repositories Activity API

spboucher.ai

spb/wp32_uqo

Public

2commits
1branches
0releases
35.4 MBon disk
maindefault branch
3 days agolast push

TeX 42.5% Python 40.5% C 14.6% Shell 2.4%

Code Commits2 Branches1 Releases0 Insights

Branch or tag

wp32_uqo
code
proofs
certificates
fortcover
P21_5_atmost9.forts.json

4.3 MB

Raw History Download

This file is 4.3 MB — too large to display inline.

View raw

Files · e6146f906a03ada7f5a5c0c2470e50916e0a4100

SPB Git

The personal software forge of Simon-Pierre Boucher. Every repository is public and clonable — one origin, no middlemen.

$git clone https://git.spboucher.ai/<repo>.git

Explore

Repositories Activity Search Commit calendar

Machine

JSON API Atom feed Sitemap Health

Owner

spboucher.ai contact@spboucher.ai

© Simon-Pierre Boucher · Powered by SPB Git v2.0.0 self-hosted · MacLustr

Menu

Home Repositories Activity Commit calendar Search JSON API Atom feed spboucher.ai contact@spboucher.ai

Theme

↑↓ navigate ↵ open esc close / or ⌘K anywhere