AlexNisnevich/lambda-terms
How many closed λ-calculus expressions are there of a given length?
Public GitHub Catalog
Discovered Sep 25, 2026
AlexNisnevich / bottles-and-kegs-solver
Prolog program for finding missing numbers in bottles-and-kegs (fizzbuzz) arrangements.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#5073859GitHub System ID
AlexNisnevichOrganization / User
PublicVisibility
ActiveCatalog Status
More from AlexNisnevich
AlexNisnevich/bernie-donations
Estimating the impact of campaign contributions
AlexNisnevich/cosmopolitan
Public repository.
AlexNisnevich/assholetransitbureaucrat2015
Asshole Transit Bureaucrat 2015