Popular repositories Loading

1. busy-beaver busy-beaver Public

   Busy beaver machines with axiom-free Coq proofs: BB(7) σ > 3↑²⁰3, BB(8) > f_ω³(12), BB(9) > f_ω⁷(12), BB(10) f_(ω+1), BB(12) f_(ω+1)², BB(13)/BB(14) f_(ω+2), BB(4,3). Plus Turing machines that halt…

   Rocq Prover 14 2

2. Minecraft Minecraft Public

   Java

3. jeff87654.github.io jeff87654.github.io Public

   GitHub Pages site for Tesla Fleet API integration

   HTML

4. symmetric-group-subgroups symmetric-group-subgroups Public

   Computation of OEIS A174511: isomorphism types of subgroups of symmetric groups. Extends sequence to a(14) = 7766.

   GAP

5. Lifting Lifting Public

   Conjugacy classes of subgroups of the symmetric groups S_n for n ≤ 21 (OEIS A000638), with data and verification code

   GAP

6. busy-beaver-notebook busy-beaver-notebook Public

   Lab notebook behind jeff87654/busy-beaver: AI-agent plans, reports, tools and lessons from the BB(7)-BB(14) and consistency-machine searches. Start with AGENTS.md.

   Python 1