Skip to main content

Indie game storeFree gamesFun gamesHorror games
Game developmentAssetsComics
SalesBundles
Jobs
TagsGame Engines

Filter Results

(Clear)

New itch.io is now on YouTube!

Subscribe for game recommendations, clips, and more

A simple and opinionated modal code editor for your terminal
More than 130 meticulously crafted scripts
Analyze huge log files in seconds — free CLI version available
Deterministic tool that produces verifiable proof an artifact or state never existed within a declared scope.
Deterministic tool that proves events occurred in a strict, declared temporal order within a scoped system.
Deterministic runtime that executes artifacts under explicit constraints and emits verifiable execution receipts.
Deterministic tool that proves a program, code path, or artifact did not execute within a declared scope.
A deterministic tool that generates verifiable proof that specified data no longer exists within a declared scope.
Deterministic tool that detects and classifies bounded, declared drift versus unauthorized change in a scoped system.
Deterministic tool that proves a system or process did not access a protected resource within a declared scope.
Deterministic tool that proves a declared boundary has not changed within a scoped system.
itch.io now on YouTube!