Russoul

GitHub creator profile

Russoul

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/Russoul largest repo: Nova

skills collected

1

repositories

1

updated

Aug 19, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Aug 19, 2026

classification pending

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills50updated Aug 19, 2026

100% of creator

skill

occupation

description

updated

Programming and proving in Nova (.nova surface files) — the elab/obligation loop, surface syntax, lemma-based discharge, QIITs. Use when writing or fixing .nova files, proving equations, or debugging why a file is not accepted.

Showing 1 of 1 repositories

All repositories loaded