Popular repositories Loading

1. llm_tutorial llm_tutorial Public

   Jupyter Notebook 2

2. ThinkingTrees ThinkingTrees Public

   Python 2

3. FormalProbability FormalProbability Public

   Formalization of basics in probability, statistics, and econometrics in Lean4. Proofs largely by HarmonicAI's Aristotle, Anthropic's Opus 4.5, and OpenAI's GPT 5.2.

   Lean 2

4. CourseScheduler CourseScheduler Public

   Python 1

5. litMagModelling litMagModelling Public

   Easy text analysis on journals from the Modernist Journals Project

   R 1

6. OKCupid_topic_clustering OKCupid_topic_clustering Public

   R 1