peano

(★ 25)

The peano numbers implemented in Rust's type system.

peano Latest Version Download

Download Latest Version (.zip)

Today's picks

cs-video-courses ★ 83,137

List of Computer Science courses with video lectures.
Awesome-Hacking ★ 118,742

A collection of various awesome lists for hackers, pentesters and security researchers
DeepSeek-R1 ★ 92,027

No description provided.
andrej-karpathy-skills ★ 204,772

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's ob
PowerToys ★ 137,936

Microsoft PowerToys is a collection of utilities that supercharge productivity and customi

C
scrcpy ★ 148,030

Display and control your Android device

C
// repository documentation