Skip to content
View 1r0nw1ll's full-sized avatar

Block or report 1r0nw1ll

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.

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

Popular repositories Loading

  1. quantum-arithmetic-research quantum-arithmetic-research Public

    Quantum Arithmetic (QA) System: Novel modular arithmetic framework for signal processing, neural networks, finance, and automated theorem generation

    Python 1

  2. 1r0nw1ll 1r0nw1ll Public

  3. Quantum_Arithmetic Quantum_Arithmetic Public

    Makefile

  4. qa-symbolic-math qa-symbolic-math Public

    Formal symbolic harmonic number theory using Lean 4

    Lean

  5. agent-security-kernel agent-security-kernel Public

    Certificate-gated execution kernel for LLM agent systems. Zero dependencies.

    Python

  6. Examples Examples Public

    Forked from tlaplus/Examples

    A collection of TLA⁺ specifications of varying complexities.

    TLA