Skip to content
View ColumbusLabs's full-sized avatar
3 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex2

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex2

Block or report ColumbusLabs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ColumbusLabs/README.md

Columbus Labs

Independent research and software company.

Research

Repository Focus
Generalized stack sorting Algebraic generating functions, permutation bases, and formal proofs.
Interval-closed rowmotion Periodicity asymptotics and formal proofs for rectangular posets.

Papers, code, licenses, and Lean sources are available in these repositories. Each README explains the results, reproduction instructions, and scope of formal verification.

Software

Project What it does
Release Radar Tracks movies, TV, streaming, and games. Available on the App Store.
QuotaKit Tracks AI coding quotas, usage, and spend across Mac and iPhone.
PlainSky A free, ad-free native iOS weather app with forecasts, alerts, and radar.

In progress

Project What it is
American Ambition A PC American political simulation game.
Hegemon A mobile world domination game.

Open source

We contribute focused fixes to projects we use and respect. Selected merged contributions include Black, The Algorithms, and Flit. Some repositories on this account are contribution forks supporting open upstream pull requests.

Contact

info@columbus-labs.com

Pinned Loading

  1. generalized-stack-sorting generalized-stack-sorting Public

    Algebraic generating functions, permutation bases, and formal proofs for generalized stack sorting.

    Lean

  2. interval-closed-rowmotion interval-closed-rowmotion Public

    Sharp periodicity asymptotics and formal proofs for rowmotion on interval-closed subsets of rectangular posets.

    Lean

  3. QuotaKit QuotaKit Public

    QuotaKit by Columbus Labs: AI quota, usage, and spend tracking for Mac and iPhone.

    Swift 3

  4. PlainSky PlainSky Public

    Free, ad-free iPhone weather app with NWS forecasts and alerts, NOAA radar, and Apple Weather supplements.

    Swift