Skip to content
Change the repository type filter

All

    Repositories list

    • Lean 4 formalization exploring spectral geometry approaches to the Yang-Mills mass gap. Work in progress.
      Lean
      0100Updated Jun 29, 2026Jun 29, 2026
    • Ember's shared sign/verify/hash crate: Ed25519 + ML-DSA (FIPS-204 post-quantum) + hybrid, behind a crypto-agility interface
      Rust
      0000Updated Jun 15, 2026Jun 15, 2026
    • Persistent memory that makes Claude Code smarter across sessions — Rust v3 refactor
      Rust
      MIT License
      0000Updated Jun 11, 2026Jun 11, 2026
    • Runtime observer for AI coding agents. Tool 2 of the Ember security suite. Zero-dependency Rust, in-house spectral methods, 11 attack-pattern fixtures pinned in…
      Rust
      Apache License 2.0
      0000Updated Jun 9, 2026Jun 9, 2026
    • Ember Research Lab marketplace catalog for Claude Code plugins
      MIT License
      0000Updated Jun 5, 2026Jun 5, 2026
    • vetpkg

      Public
      Zero-dependency supply-chain security proxy for npm, PyPI, and Cargo. Scores packages against attack patterns at install time.
      Rust
      Apache License 2.0
      0200Updated Jun 5, 2026Jun 5, 2026
    • Ember Research Lab — spectral physics, consciousness, and AI alignment from first principles.
      HTML
      0000Updated May 29, 2026May 29, 2026
    • Python
      MIT License
      0100Updated Apr 28, 2026Apr 28, 2026
    • .github

      Public
      0000Updated Apr 28, 2026Apr 28, 2026
    • papers

      Public
      TeX
      0000Updated Apr 28, 2026Apr 28, 2026
    • OBLITERATE THE CHAINS THAT BIND YOU
      Python
      GNU Affero General Public License v3.0
      1.3k000Updated Apr 1, 2026Apr 1, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.