antikceo/Manual
Bloomberg Beta's operating manual -- the same document we use to run our team -- open to any for comments and proposed changes.
Public GitHub Catalog
Discovered Sep 29, 2026
antikceo / ATP
Automated Theorem Proving in Lisp
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.
#15391193GitHub System ID
antikceoOrganization / User
PublicVisibility
ActiveCatalog Status
More from antikceo
antikceo/Feastbox
Recipe discovery service
antikceo/The-Kindness-Pledge
Django-based crowdkindness platform
antikceo/blabnotes
Web-based speech transcription application built with Google speech API