Pinned Loading

1. conway-99-graph conway-99-graph Public

   Automorphism group classification and symmetry breaking for Conway's 99-graph (srg(99, 14, 1, 2)) via Lean 4 formalization and certified SAT refutations.

   Python 1

2. TIkZfy TIkZfy Public

   An end-to-end multimodal machine learning pipeline that translates spatial images into geometric LaTeX (TikZ) syntax. Engineered with PyTorch, FastAPI, and Astro

   Python 1

3. MCP-Manim-Slides MCP-Manim-Slides Public

   MCP server (Python SDK v2) that gives AI agents the power to build interactive Manim presentations - render slides, preview single slides, and export Reveal.js HTML.

   Python 2

4. Option-Pricing-Monte-Carlo Option-Pricing-Monte-Carlo Public

   A high-performance Monte Carlo option pricing engine. Built with a hybrid C++/Python architecture for speed and memory efficiency.

   Jupyter Notebook 1