Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / echojc / peano-arithmetic
Public GitHub Catalog Discovered Sep 29, 2026

echojc / peano-arithmetic

Basic arithmetic on Scala's type system using Peano numbers.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#14776512GitHub System ID
echojcOrganization / User
PublicVisibility
ActiveCatalog Status

More from echojc

↗

echojc/simqle

An experiment with automatic conversion between SQL queries and Scala types via the typeclass pattern.

Discovered
↗

echojc/2048

A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.