Pinned Loading

1. soulfiremage.github.io soulfiremage.github.io Public

   My main github page

   HTML

2. math-llm math-llm Public

   Forked from atroyn/math-llm

   Grounding LLM mathematical reasoning with proof assistants. (Just my copy)

   Python

3. mdedit mdedit Public

   Rust

4. Microlearning Microlearning Public

   Proposed microlearning tool for scattered brains. An attempt to avoid surface fluency only is involved.

   Python