Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with pigeonhole
A curated list of projects in awesome lists tagged with pigeonhole .
https://github.com/llee454/pigeons
A proof of the Pigeonhole principle. The Pigeonhole principle is a fundamental theorem that is used widely in Computer Science and Combinatorics, it asserts that if you put n things into m containers, and n > m, then at least one of the containers contains more than one thing.
coq coq-formalization mathematics pigeonhole proof theorem-proving theorems
Last synced: 23 Oct 2024
https://github.com/fphammerle/docker-dovecot
Dovecot: IMAP, POP3 & SASL Auth Server (Alpine Linux) ✉️ 🐳 🐙
authentication dovecot imap imap-server lmtp pigeonhole pop3-server postfix sasl sieve
Last synced: 13 Nov 2024
