Popular repositories Loading

1. super-cow-powers super-cow-powers Public

   A Claude Code skill for Debian packaging. Conventions, templates, and validation checklists — with deep dh-virtualenv support for Python projects.

   Shell 2

2. collatz collatz Public

   Collatz conjecture work with Claude

   Python

3. turbotools turbotools Public

   Claude Code plugins from mysticflounder

4. equational-magma-theorems equational-magma-theorems Public

   Lean 4 formalization of the Spine Isolation Theorem for Magma Implications

   Lean

5. sqlforge sqlforge Public

   SQLite reference implementation for specforge spec validation

   Python

6. equational_theories equational_theories Public

   Forked from teorth/equational_theories

   A project to map out the relations between different equational theories of Magmas.

   Lean