verification

(★ 9)

Specifications of the protocols and the experiments on their verification

verification Latest Version Download

Download Latest Version (.zip)

Today's picks

whisper ★ 107,730

Robust Speech Recognition via Large-Scale Weak Supervision

Python
godot ★ 115,961

Godot Engine – Multi-platform 2D and 3D game engine

C++
nvm ★ 94,671

Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versi

Shell
lazygit ★ 81,526

simple terminal UI for git commands

Go
opencode ★ 199,829

The open source coding agent.

TypeScript
worldmonitor ★ 83,628

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitor

TypeScript
// repository documentation