Projects

Implementations, tools, datasets, and reproducibility artifacts.

• Affine-Bundle Solver

  Validatedv0.4.4Apache-2.0

  Primary field: Mathematics

  A certifying dense solver for general real linear equality systems that reports solution status, uncertainty, and independently checked proof objects.

  • Numerical Methods
  • Mathematical Software
  • Software Verification
  • Scientific Computing

  Code repositoryRelease v0.4.4Zenodo archive

• AI-Obsidian Service

  ActiveApache-2.0

  Primary field: Computing & Information Technology

  Local indexing and retrieval-augmented generation for an Obsidian vault, with REST APIs and SSE progress streaming.

  • Python
  • FAISS
  • Obsidian
  • Retrieval-Augmented Generation

  Code repositoryDocumentation